Module Extended_int

module Extended_int: sig .. end

include Number.Verified_std