i64 + max(f32)
