Ensure rounding mode isn't left modified
Ensure rounding mode isn't left modified

Make sure that the FPU rounding mode is put back into it's normal state, even if the program is interrupted by the user.

iansheret/TMProof,iansheret/AutoProof