Pragma Float_Representation (GNAT Reference Manual)

### 2.72 Pragma Float_Representation ¶

Syntax:

    pragma Float_Representation (FLOAT_REP[, float_type_LOCAL_NAME]);

    FLOAT_REP ::= VAX_Float | IEEE_Float

In the one argument form, this pragma is a configuration pragma which allows control over the internal representation chosen for the predefined floating point types declared in the packages `Standard` and `System`. This pragma is only provided for compatibility and has no effect.

The two argument form specifies the representation to be used for the specified floating-point type. The argument must be `IEEE_Float` to specify the use of IEEE format, as follows:

- For a digits value of 6, 32-bit IEEE short format will be used.
- For a digits value of 15, 64-bit IEEE long format will be used.
- No other value of digits is permitted.