Verify and fix subtract bug (in signex) (#3)
Fixed signex, for real this time! (#3)