Directed Rounding Arithmetic Operations in C++ - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Directed Rounding Arithmetic Operations in C++

Guillaume Melquiond
Sylvain Pion


We propose the addition of new functions to the C++0x standard library that provide floating-point operations (+, -, *, /, sqrt and fma) as well as conversion functions with directed rounding. This set of functions is necessary to provide efficient support for interval arithmetic and related computations, and they directly map to IEEE-754 specifications. These functions require special compiler support due to their "constexpr" nature. This document is submitted to the ISO/WG21 working group which standardizes the C++ language, under the document N2811 (
Fichier principal
Vignette du fichier
RR-6757.pdf (133.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00345094 , version 1 (08-12-2008)


  • HAL Id : inria-00345094 , version 1


Guillaume Melquiond, Sylvain Pion. Directed Rounding Arithmetic Operations in C++. [Research Report] RR-6757, INRIA. 2008, pp.11. ⟨inria-00345094⟩
225 View
172 Download


Gmail Facebook X LinkedIn More