pub fn residue(x: i64, y: i64) -> i64
The residue of y modulo x, y - x⌊y/x⌋, which takes the sign of x. A zero x gives y. Every residue fits an i64.
i64