Fast arbitrary precision correctly-rounded decimal floating point arithmetic