Extended_natural_numbers loading ...