Interface t_number

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