abs(i32 % i64)
