... is1
Information on the integer and floating-point models, as well as the following tables is taken from chapter 13 of [ABM$^+$92].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.