towards ExtEuclead implementation