A useful type for working with integers modulo some constant.