Fixed bug in subtract when a < b, added test cases