egcd
