Use f32 instead of f64.

Using 32 bit floats makes everything run faster.
This fair for comparison with Bullet since it uses floats per default too.