f32 * 0.5 <= f32
