f32 + max(i64)
