Allows changing the format for double (by default IEEE32).
-double_size 4 | 8
The arguments are as follows:
4 : IEEE32
8 : IEEE64
4
__DOUBLE_IS_IEEE32__
__DOUBLE_IS_IEEE64__
For integrity and compliance to ANSI, the following must hold:
sizeof(float) <= sizeof(double) <= sizeof(long double)
For more information, refer to the topic Data Types.