@misc{indiciae20ecaabfda78,
  title = {Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic},
  author = {David Monniaux and Alice Pain},
  year = {2022},
  url = {https://arxiv.org/abs/2207.08420},
  note = {Source identifier: 2207.08420}
}