A Maths_integer is a Maths_atom that is an integer value.
NOTE - For efficiency Maths_atom is a TYPE rather than and ENTITY in the EXPRESS. Hence Maths_integer is referenced by Maths_atom rather than a SUBTYPE of Maths_atom.
EXPRESS specification:
*) TYPE Maths_integer = INTEGER; END_TYPE; (*