rename to DoubleDouble.jl