# Module Extended_int

    module Extended_int: sig .. end

Computes greatest common divisor for the given two integers, with convention that `gcd 0 0 = 0`.

Returns a nonnegative value unless one of the arguments is `Int.min_value` and the other is `Int.min_value` or 0, in which case `Int.min_value` is returned.

    include Number.Verified_std

    val gcd : int -> int -> int

Computes greatest common divisor for the given two integers, with convention that `gcd 0 0 = 0`.

Returns a nonnegative value unless one of the arguments is `Int.min_value` and the other is `Int.min_value` or 0, in which case `Int.min_value` is returned.