with Standard_Integer_Numbers;           use Standard_Integer_Numbers;

package Test_Vectored_Doubles is

-- DESCRIPTION :
--   Test on the vectorized double arithmetic.

  procedure Test_Balanced_Product ( dim : in integer32 );

  -- DESCRIPTION :
  --   Tests the product of balanced quarter double vectors.

  procedure Main;

  -- DESCRIPTION :
  --   Prompts for the dimension and runs the tests.

end Test_Vectored_Doubles;
