Hi Adhemerval, > The fma is required only for x == +/-0x1.6371e8p-4f in FE_TOWARDZERO > to provide correctly rounded results. > > Checked on x86_64-linux-gnu and aarch64-linux-gnu. LGTM. Reviewed-by: Wilco Dijkstra <Wilco.Dijkstra@arm.com> Cheers, Wilco