sumo#real_number  a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
  exclusion:  imaginary_number  complex_number
  supertype:  number
  equal:  real (pm)
  subtype:  rational_number  real_number that is the product of dividing two integers
     subtype:  integer  a negative or nonnegative whole number
        subtype:  nonnegative_integer__nonnegativeinteger  integer >= 0
           subtype:  positive_integer  integer > 0
           subtype:  zero  class containing only 0
        subtype:  negative_integer  integer < 0
        subtype:  even_integer  integer that is evenly divisible by 2
        subtype:  odd_integer__oddinteger  integer that is not evenly divisible by 2
        subtype:  prime_number__primenumber
  subtype:  irrational_number
  subtype:  nonnegative_real_number  real_number >= 0
     subtype:  nonnegative_integer__nonnegativeinteger  integer >= 0
     subtype:  positive_real_number  real_number > 0
        subtype:  positive_integer  integer > 0
  subtype:  negative_real_number  real_number < 0
     subtype:  negative_integer  integer < 0
  subtype:  binary_number  elements from the number system with base 2; every binary_number is expressed as a sequence of the digits 1 and 0
  subtype:  decimal

No statement uses or specializes real_number; click here to add one.