Recursive Double-Size Fixed Precision Arithmetic. - Alexis Breust; Christophe Chabot; Jean-Guillaume Dumas; Laurent Fousse; Pascal Giorgi (ICMS, 2016)