max(f64) + f32
