@article{IEEE754,
  author={IEEE},
  journal={IEEE Std 754-2019 (Revision of IEEE 754-2008)},
  title={{IEEE Standard for Floating-Point Arithmetic}},
  year={2019},
  pages={1-84},
  doi={10.1109/IEEESTD.2019.8766229}
}