with Multprec_Natural_Ring; with Generic_Vectors; package Multprec_Natural_Vectors is new Generic_Vectors(Multprec_Natural_Ring); -- DESCRIPTION : -- Defines vectors over the ring of multi-precision natural numbers.