f32 != 0.5 * f32
