max(f32) <= max(f64)
