fixed range asssertions for ExtendedEuclid