WYRL: testing the new solver arithmetic unit.  So far, things are not looking good.