9.31.4 Floating Point

The floating point formats generated by directives are these.

.float

Single precision (32-bit) floating point constants.

.double

If the -m64bit-doubles command line option has been specified then then double directive generates double precision (64-bit) floating point constants, otherwise it generates single precision (32-bit) floating point constants. To force the generation of 64-bit floating point constants used the dc.d directive instead.