The set of integers represented by the integer types of pony can be treated as a field, since they have discrete ranges.