the next instruction, so jongjmp() back
-check that fpsetsticky(0) really clears the bits
-check that fpsetsticky() returns the old status
-use SA_SIGINFO and check si_code - make this a warning message instead
of a hard error for now, as no port gets this right yet