Type Alias SignOf<N>

SignOf: [N] extends [PositiveNumber]
    ? "pos"
    : [N] extends [NegativeNumber]
        ? "neg"
        : [N] extends [NonNegativeNumber]
            ? "nonneg"
            : [N] extends [NonPositiveNumber]
                ? "nonpos"
                : [N] extends [NonZeroNumber] ? "nonzero" : "any"