Definable_number loading ...