include Number.Verified_std with type repr = Core.Std.Int.t