-- This package contains the Leading and Trailing parts of
-- numbers that can not be exactly represented on computers
-- with a MACHINE_RADIX that is a power of 2.

-- The leading part plus the trailing part represent the constant to
-- at least five bits greater accuracy than can be represented by
-- 128 bit floating point. The leading part can be represented
-- exactly in about 5 bits. The trailing part has significant digits
-- accurate to a model interval. 

generic
  type FLOAT_TYPE is digits <>;
package TEST_MATH_LT_CONSTANTS is
-- The enumeration literals are used to retrieve the Leading part, Trailing
-- part and machine approximation.

  type TYPE_LT is ( PI_LT, PI2_LT, PI4_LT, E_LT);

  procedure FIND_LT( NAME_LT : TYPE_LT;
                     LEAD    : out FLOAT_TYPE;  -- exact
                     TRAIL   : out FLOAT_TYPE;  -- approximate + 5 bits
                     MACHINE : out FLOAT_TYPE); -- approximate number
end TEST_MATH_LT_CONSTANTS;