1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- S Y S T E M . P O W T E N _ T A B L E --
10 -- Copyright (C) 1992-1999 Free Software Foundation, Inc. --
12 -- GNAT is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNAT; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
21 -- MA 02111-1307, USA. --
23 -- As a special exception, if other files instantiate generics from this --
24 -- unit, or you link this unit with other files to produce an executable, --
25 -- this unit does not by itself cause the resulting executable to be --
26 -- covered by the GNU General Public License. This exception does not --
27 -- however invalidate any other reasons why the executable file might be --
28 -- covered by the GNU Public License. --
30 -- GNAT was originally developed by the GNAT team at New York University. --
31 -- Extensive contributions were provided by Ada Core Technologies Inc. --
33 ------------------------------------------------------------------------------
35 -- This package provides a powers of ten table used for real conversions
37 package System
.Powten_Table
is
38 pragma Pure
(Powten_Table
);
40 Maxpow
: constant := 22;
41 -- The number of entries in this table is chosen to include powers of ten
42 -- that are exactly representable with long_long_float. Assuming that on
43 -- all targets we have 53 bits of mantissa for the type, the upper bound is
44 -- given by 53/(log 5). If the scaling factor for a string is greater than
45 -- Maxpow, it can be obtained by several multiplications, which is less
46 -- efficient than with a bigger table, but avoids anomalies at end points.
48 Powten
: constant array (0 .. Maxpow
) of Long_Long_Float :=
73 end System
.Powten_Table
;