f32 + max(f64)
