with Standard_Floating_Ring; with Generic_Vectors; package Standard_Floating_Vectors is new Generic_Vectors(Standard_Floating_Ring); -- DESCRIPTION : -- Defines vectors over the ring of standard floating-point numbers.