Merge in the improvements here: https://gitlab.univ-lille.fr/florent.brehard/ValidatedMultipleRoots.jl/-/blob/main/src/ValidatedMultipleRoots.jl Also, the part with `IntervalArithmetic` would be useful to add as an extension.