int(i32) % i64
