i32 % 1 % (i64 + i64)
