Ieee Standard For Floating Point Numbers