renamed DoubleNumber to DecimalFraction