changed some code in DecimalFraction, etc.