f32 <= f64 ? ok : f64
