Loading devreal.ai…

Efficient on-line computation of real functions using exact floating point — devreal.ai