I fully agree with you and that’s what Euclid is aiming for. Concerning the correctness, I use the Euler library that I developed myself. The library is extensi

I fully agree with you and that’s what Euclid is aiming for. Concerning the correctness, I use the Euler library that I developed myself. The library is extensively tested, and for the moment no user reported a wrong results (except for computations with a result very very low or very very high)