Hi, I checked this patch matches commit eb28456b from CORE-MATH, and all exhaustive tests pass, with/without FMA, and for all four rounding modes. Reviewed-by: Paul Zimmermann <Paul.Zimmermann@inria.fr> Paul