Find the greatest common factor of two numbers.
The greatest common factor is the largest number that divides both inputs evenly, found efficiently with the Euclidean algorithm.
GCF via the Euclidean algorithm