min(f32) * f64
