gcd package:typenums

The greatest common divisor of two type-level integers