max(f32 + i64)
