abs(i32) % i32
