Python Greatest Common Divisor (Fast)

num_a = int(input('Enter first positive integer: '))
num_b = int(input('Enter second positive integer: '))

while num_a != num_b:
    if num_a > num_b:
        num_a -= num_b
    else:
        num_b -= num_a

input ('GCD is %d' % num_a)