Interacting with ArbFloat

[lbenet]

ArbFloats.jl is converging fast, so I've checked how is it the interacting with ValidatedNumerics. Here is a simple test:

julia> using ValidatedNumerics, ArbFloats

julia> displaymode(format=:full)

julia> a = Interval(ArbFloat(0.5)) # This may through lots of warnings
...
[0.5, 0.5]

julia> typeof(a)
ValidatedNumerics.Interval{ArbFloats.ArbFloat{116}}

julia> b = sqrt(a) # the result indicates a seemingly thin interval...
Interval(0.707106781186547524400844362104849, 0.707106781186547524400844362104849)

julia> isthin(b) #... but it is not
false

julia> diam(b)
[+/- 2.41e-35]

julia> sqrt(ArbFloat(0.5))
0.707106781186547524400844362104849

julia> showall(sqrt(ArbFloat(0.5)))
0.70710678118654752440084436210484903 ± 1.203706215e-35

So things seem to work, but the interface is a bit uncomfortable. Also, the output of the interval seems to have all digits, but this is not quite true.