Fixed bug 14177

bezout-binary did not handle negative numbers correctly.