i64 % 1 < i32
