The FirstOrder example is solved fine. Limitation: decimals are handled as final results, but not as part of an extant expression awaiting evaluation.