sumo#positive_real_number  real_number > 0
  supertype:  sumo#nonnegative_real_number  real_number >= 0
  subtype:  sumo#positive_integer  integer > 0

No statement uses or specializes sumo#positive_real_number; click here to add one.