Update dependencies: replace DoubleFloat by Quadmath

The DoubleFloat package is actually unused in the current version: the Float128 type comes actually for Quadmath, one of DoubleFloat's dependencies.

I removed DoubleFloat, but we could also replace Float128 by DoubleFloat64 which actually comes from DoubleFloat.

Merge request reports

Loading