f64 != max(i64)
