GCD should work on natural numbers too
Made real product simplify