Decimal_notation loading ...