Remove all traces of float/float4

These never made it into the Flash Player.