Package decimal

We provide predicates for multi precision decimals:

Comments