brian/prod: links for expended-euclid-integer