Bug fix related to 'tostring' method of DecimalFraction class.