The function arf_get_str returns the output rounded to be correct to 1 ulp. In many cases it would be convenient to have a version with directed rounding. In particular, I make use of this when preparing formatted interval enclosures for inclusion in papers, e.g. $2.260077370_{77}^{81}$. I don't know how easy this would be to implement?
The function$2.260077370_{77}^{81}$ . I don't know how easy this would be to implement?
arf_get_strreturns the output rounded to be correct to 1 ulp. In many cases it would be convenient to have a version with directed rounding. In particular, I make use of this when preparing formatted interval enclosures for inclusion in papers, e.g.