Instead of dividing by 2 and rounding with magic number 2^52, we round with
magic number 2^53, which gives us the parity with at least one mul less.

We know we will not have denormal floats on the PS3, but we should still
create denormal halves in case the other end (maybe the GPU?) knows how
to handle them.

used on the PS3 platform.

number conversions.

a C macro on some systems (Android NDK, PS3...).

for future array versions.

functions such as isnan(), isinf() etc.

environment, so back-to-jvm techniques can work from any thread.

found in the game. Will be greatly improved later.

with runtime variables is only valid for arrays of texture samples.

its state hadn't changed.

standard pad API is perfect for us.

movements with the right stick and one mouse button with the L1 or R1 buttons.

Android functions.

for both OpenGL and the PS3.

check that uniforms work properly on the PS3.

use the system's Cg compiler.

the PS3.

within the Video class, just store what the GL context tells us and stick
to that.

forget to zero the 3rd coordinate.

helped find a few bugs such as textures not bound.

have to duplicate this code to other places. Fixes the GTK app on the way.