Functions to set and get the IEEE rounding mode

WWW: https://github.com/jandom-devel/ieeeround
