Thanks! Yes, that (rminimax/ratapprox) looks very interesting. I got the impression that this was separate from Sollya. Fair point about the correct rounding.

Thanks! Yes, that (rminimax/ratapprox) looks very interesting. I got the impression that this was separate from Sollya. Fair point about the correct rounding. We'd be fine with several ULPs.