Motion M0061.02 : YES
I vote YES on Motion RevisedFlavorsText.
A few comments though:
As Hossam Fahmy already mentioned, the overview is a bit too
restrictive. For instance, it precludes a function to receive and return
intervals corresponding to a given flavor, yet internally use a flavor
better suited for its computations.
The last paragraph of 7.5.4 is a bit restrictive too. It might well
happen that two different implementations are just incomparable. I am
thinking in particular of elementary functions; which one of two
implementations is the most accurate presumably depends on the input
domain (values close to zero, large values, etc) due to their having
different argument reduction.
Best regards,
Guillaume