#decimal_fraction__decimalfraction__decimal  a proper fraction whose denominator is a power of 10
  supertype:  #proper_fraction__properfraction  a fraction with a numerator smaller than the denominator
  subtype:  #circulating_decimal__circulatingdecimal__recurring_decimal__recurringdecimal__repeating_decimal__repeatingdecimal  a decimal with a sequence of digits that repeats itself indefinitely

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