Updating doc and assert for extendedEuclid.