Use Decimal() for evaluation.
tweaks to make tests go faster