A package for correctly-rounded arbitrary precision decimal floating point arithmetic