References
IEEE Computer Society, IEEE Standard for Floating-Point Arithmetic," in IEEE Std 754-2019 (Revision of IEEE 754-2008), pp.1-84, https://doi.org/10.1109/IEEESTD.2019.8766229, 22 July 2019
Masahide Kashiwagi, Saikinten marume nomi ni yoru houkou tsuki marume no emulate [Emulation of Rounded Arithmeticin Rounding to Nearest], http://verifiedby.me/kv/rounding/emu.pdf, http://verifiedby.me/adiary/pub/kashi/image/201406/nas2014-slide.pdf, 2014
Masahide Kashiwagi, Error Free Transformation (EFT) is NOT error-free, http://verifiedby.me/adiary/09, 2014