michaelg/dev: links for expended-euclid-integer