Using BigDecimals in AbstractDawidSkene