Natural_numbers_object loading ...