Making progress with the new solver arithmetic unit.
WYRL: making some progress on the solver arithmetic unit.