Added semantics but no tests for FNSTCW. What it will do is pretend that the fpu was just initialized with fninit, except that it will report that the precision is double precision instead of extended precision.
Added semantics but no tests for FNSTCW. What it will do is pretend that the fpu was just initialized with fninit, except that it will report that the precision is double precision instead of extended precision.

trailofbits/remill,trailofbits/remill,trailofbits/remill,trailofbits/remill