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