max(i64) + f32
