MetadataThis section provides information about 'ArithmeticNumber'.
Definition
An<ArithmeticNumber> is a <ClassOfClass> whose member classes have the same sign and count or magnitude. An <ArithmeticNumber> is the number itself, not any representation of the number
AlignmentThis section lists the most specific P2-superclasses of 'ArithmeticNumber' together with an alignment with corresponding classes in P14, if available.