/ package:numeric-prelude

r /: m is the residue class containing r with respect to the modulus m