Interface t_integer

interface t_integer {
    _type: number;
    def: number;
    maximum?: number;
    minimum?: number;
    tag: "@traversable/schema/URI::integer";
    between<Min extends number, Max extends number>(
        minimum: Min,
        maximum: Max,
    ): t_integer.between<[min: Min, max: Max]>;
    max<Max extends number>(maximum: Max): t_integer.max<Max>;
    min<Min extends number>(minimum: Min): t_integer.min<Min>;
    (got: number | Unknown): got is number;
    (got: unknown): got is number;
}