Operation
DEST FPU state;
initialize FPU; (* Equivalent to FNINIT *)
[Back: Description]
[Next: FPU Flags Affected]