TY  - RPRT
TI  - Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic
AU  - David Monniaux
AU  - Alice Pain
PY  - 2022
UR  - https://arxiv.org/abs/2207.08420
ID  - 2207.08420
ER  -