Pisot_number loading ...