import math


def gcd(a: int, b: int) -> int:
    """
    :param a: integer
    :param b: integer
    :return: The largest non-negative integer that divides both a and b.
    """
    return math.gcd(a, b)