Natural_number loading ...