f64 < f32 * 0.5
