Real Datatype
type: Class
type: NodeShape
description: A real number is represented as a factor, called the mantissa, multiplied by a power (the exponent) of a base. Different bases yield different approximations to real numbers, and conversion between them is limited in accuracy. Four floating-point types are defined in 'IEEE-754 Standard for Binary Floating-Point'. These types are 'single', 'extended single', 'double', and 'extended double'.
subclass of: Restriction
  max cardinality: 1
  on property: precision
subclass of: Restriction
  max cardinality: 1
  on property: maxExponent
subclass of: Restriction
  max cardinality: 1
  on property: base
subclass of: NumericType
property: RealDatatype-base
property: RealDatatype-maxExponent
property: RealDatatype-maxMantissa
property: RealDatatype-minMantissa
property: RealDatatype-precision