PositiveInfinity

RealNumber

plus

IntegerNumberIsIntegralDef NumberIsConflictedDef RealNumberIsConflictedDef