Constructible_number loading ...