1 % i32 < max(i64)
