-0.5 != max(i64)
