30c03a2e3b
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