Non. Calculer une racine carrée à 1 ulp près est tout à fait possible en flottants purs. AMS y arrive bien, par exemple, et son moteur BCD est séparé du calcul formel. Là, on n'est même pas à √(1 ulp) près.