checked in implementation of do_sub and build_neg in sfract
together with simple test code.