rounded-0.1.0.1: Correctly-rounded arbitrary-precision floating-point arithmetic