Polyhedral_number loading ...