Least non-negative residue