https://123dok.net/document/zx56g0wq-rigorous-multiple-precision-evaluation-of-d-finite-functions-in-sagemath.html