Float64 but with single precision

[algunion]

Check out the ArbNumerics.jl package.

using ArbNumerics

function with_arbitrary(x::Float64)
    arbx = ArbFloat(x, digits=10)
    arbx + 1.0
end

sqrt(2.0) + 1.0 # 2.414213562373095....
with_arbitrary(sqrt(2.0)) # 2.414213562