Whole_number_rule loading ...