int(i64) % i32
