Towards fast and certified multiple-precision libraries