i64 <= i64 - 0.5
