i64 % 1 <= -i32
