Decimal_representation loading ...