754-2008 - IEEE Standard for Floating-Point Arithmetic | IEEE Standard | IEEE Xplore