TY - RPRT TI - Floating-Point Arithmetic on Round-to-Nearest Representations AU - Peter Kornerup AU - Jean-Michel Muller AU - Adrien Panhaleux PY - 2012 UR - https://arxiv.org/abs/1201.3914 ID - 1201.3914 ER -