An instance f of the data type IntModp is an integer mod a (global) prime. The type of f is INTMODP.
IntModp is a class derived from the base class Field_element and as such inherits various functions such as print() and type_of().
