https://123dok.net/document/zwv5g41q-formalization-of-double-word-arithmetic-and-comments-on-tight-and-rigorous-error-bounds-for-basic-building-blocks-of-double-word-arithmetic.html