(Translated by https://www.hiragana.jp/)
[1807.04181] On error representation in exact-decisions number types