Implementation (cont'd)

The generated native code has to deal with ...

The rounding precision.
single, double, or extended precision.

Overflow and underflow
The native code must cause an overflow and underflow at the proper threshold:
11 bits for double,  8 bits for single
including proper gradual underflow.
by using the store-reload and the scaling.