package Ttypef is
IEEES_Digits : constant := 6;
IEEEL_Digits : constant := 15;
IEEEX_Digits : constant := 18;
VAXFF_Digits : constant := 6;
VAXDF_Digits : constant := 9;
VAXGF_Digits : constant := 15;
AAMPS_Digits : constant := 6;
AAMPL_Digits : constant := 9;
IEEES_Machine_Emax : constant := 128;
IEEEL_Machine_Emax : constant := 1024;
IEEEX_Machine_Emax : constant := 16384;
VAXFF_Machine_Emax : constant := 127;
VAXDF_Machine_Emax : constant := 127;
VAXGF_Machine_Emax : constant := 1023;
AAMPS_Machine_Emax : constant := 127;
AAMPL_Machine_Emax : constant := 127;
IEEES_Machine_Emin : constant := -125;
IEEEL_Machine_Emin : constant := -1021;
IEEEX_Machine_Emin : constant := -16381;
VAXFF_Machine_Emin : constant := -127;
VAXDF_Machine_Emin : constant := -127;
VAXGF_Machine_Emin : constant := -1023;
AAMPS_Machine_Emin : constant := -127;
AAMPL_Machine_Emin : constant := -127;
IEEES_Machine_Mantissa : constant := 24;
IEEEL_Machine_Mantissa : constant := 53;
IEEEX_Machine_Mantissa : constant := 64;
VAXFF_Machine_Mantissa : constant := 24;
VAXDF_Machine_Mantissa : constant := 56;
VAXGF_Machine_Mantissa : constant := 53;
AAMPS_Machine_Mantissa : constant := 24;
AAMPL_Machine_Mantissa : constant := 40;
IEEES_Model_Emin : constant := -125;
IEEEL_Model_Emin : constant := -1021;
IEEEX_Model_Emin : constant := -16381;
VAXFF_Model_Emin : constant := -127;
VAXDF_Model_Emin : constant := -127;
VAXGF_Model_Emin : constant := -1023;
AAMPS_Model_Emin : constant := -127;
AAMPL_Model_Emin : constant := -127;
IEEES_Model_Mantissa : constant := 24;
IEEEL_Model_Mantissa : constant := 53;
IEEEX_Model_Mantissa : constant := 64;
VAXFF_Model_Mantissa : constant := 24;
VAXDF_Model_Mantissa : constant := 56;
VAXGF_Model_Mantissa : constant := 53;
AAMPS_Model_Mantissa : constant := 24;
AAMPL_Model_Mantissa : constant := 40;
IEEES_Safe_Emax : constant := 128;
IEEEL_Safe_Emax : constant := 1024;
IEEEX_Safe_Emax : constant := 16384;
VAXFF_Safe_Emax : constant := 127;
VAXDF_Safe_Emax : constant := 127;
VAXGF_Safe_Emax : constant := 1023;
AAMPS_Safe_Emax : constant := 127;
AAMPL_Safe_Emax : constant := 127;
IEEES_Model_Epsilon : constant := 2#1.0#E-23;
IEEEL_Model_Epsilon : constant := 2#1.0#E-52;
IEEEX_Model_Epsilon : constant := 2#1.0#E-63;
VAXFF_Model_Epsilon : constant := 16#0.1000_000#E-4;
VAXDF_Model_Epsilon : constant := 16#0.4000_0000_0000_000#E-7;
VAXGF_Model_Epsilon : constant := 16#0.4000_0000_0000_00#E-12;
AAMPS_Model_Epsilon : constant := 2#1.0#E-23;
AAMPL_Model_Epsilon : constant := 2#1.0#E-39;
IEEES_Model_Small : constant := 2#1.0#E-126;
IEEEL_Model_Small : constant := 2#1.0#E-1022;
IEEEX_Model_Small : constant := 2#1.0#E-16381;
VAXFF_Model_Small : constant := 16#0.8000_000#E-21;
VAXDF_Model_Small : constant := 16#0.8000_0000_0000_000#E-31;
VAXGF_Model_Small : constant := 16#0.8000_0000_0000_00#E-51;
AAMPS_Model_Small : constant := 16#0.8000_000#E-21;
AAMPL_Model_Small : constant := 16#0.8000_0000_000#E-31;
IEEES_Safe_First : constant := -16#0.FFFF_FF#E+32;
IEEEL_Safe_First : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256;
IEEEX_Safe_First : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
VAXFF_Safe_First : constant := -16#0.7FFF_FF8#E+32;
VAXDF_Safe_First : constant := -16#0.7FFF_FFFF_FFFF_FF8#E-38;
VAXGF_Safe_First : constant := -16#0.7FFF_FFFF_FFFF_FC#E-256;
AAMPS_Safe_First : constant := -16#0.7FFF_FF8#E+32;
AAMPL_Safe_First : constant := -16#0.7FFF_FFFF_FF8#E+32;
IEEES_Safe_Large : constant := 16#0.FFFF_FF#E+32;
IEEEL_Safe_Large : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
IEEEX_Safe_Large : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
VAXFF_Safe_Large : constant := 16#0.7FFF_FC0#E+32;
VAXDF_Safe_Large : constant := 16#0.7FFF_FFFF_0000_000#E+32;
VAXGF_Safe_Large : constant := 16#0.7FFF_FFFF_FFFF_F0#E+256;
AAMPS_Safe_Large : constant := 16#0.7FFF_FC0#E+32;
AAMPL_Safe_Large : constant := 16#0.7FFF_FFFF#E+32;
IEEES_Safe_Last : constant := 16#0.FFFF_FF#E+32;
IEEEL_Safe_Last : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
IEEEX_Safe_Last : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
VAXFF_Safe_Last : constant := 16#0.7FFF_FF8#E+32;
VAXDF_Safe_Last : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32;
VAXGF_Safe_Last : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256;
AAMPS_Safe_Last : constant := 16#0.7FFF_FF8#E+32;
AAMPL_Safe_Last : constant := 16#0.7FFF_FFFF_FF8#E+32;
IEEES_Safe_Small : constant := 2#1.0#E-126;
IEEEL_Safe_Small : constant := 2#1.0#E-1022;
IEEEX_Safe_Small : constant := 2#1.0#E-16381;
VAXFF_Safe_Small : constant := 16#0.1000_000#E-31;
VAXDF_Safe_Small : constant := 16#0.1000_0000_0000_000#E-31;
VAXGF_Safe_Small : constant := 16#0.1000_0000_0000_00#E-255;
AAMPS_Safe_Small : constant := 16#0.1000_000#E-31;
AAMPL_Safe_Small : constant := 16#0.1000_0000_000#E-31;
IEEES_First : constant := -16#0.FFFF_FF#E+32;
IEEEL_First : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256;
IEEEX_First : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
VAXFF_First : constant := -16#0.7FFF_FF8#E+32;
VAXDF_First : constant := -16#0.7FFF_FFFF_FFFF_FF8#E+32;
VAXGF_First : constant := -16#0.7FFF_FFFF_FFFF_FC#E+256;
AAMPS_First : constant := -16#0.7FFF_FF8#E+32;
AAMPL_First : constant := -16#0.7FFF_FFFF_FF8#E+32;
IEEES_Last : constant := 16#0.FFFF_FF#E+32;
IEEEL_Last : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
IEEEX_Last : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
VAXFF_Last : constant := 16#0.7FFF_FF8#E+32;
VAXDF_Last : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32;
VAXGF_Last : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256;
AAMPS_Last : constant := 16#0.7FFF_FF8#E+32;
AAMPL_Last : constant := 16#0.7FFF_FFFF_FF8#E+32;
end Ttypef;