Dear Carlos, > We should be able to achieve <= 9 ULPs on these algorithms, otherwise there are > compiler problems that need fixing? we are far from <= 9 ULPS for j0,j1,y0,y1, even in binary32. See https://members.loria.fr/PZimmermann/papers/accuracy.pdf. Paul