make sure these are int or Integer -- since igcd returns ints I think igcdex should do the same