Canonical_representation_of_a_positive_integer loading ...