GapiDraw and FLOAT

I'm just wondering why an engine where so many optimizations have been made still uses the 'float' type when many mobile devices have to emulate this type slowly. All the frame synchronization could quite easily be achieved using ticks instead.