Arbitrary-precision decimal based on Zarith - View it on GitHub