subtractor, need to test overflow