Type Alias Negate<N>

Negate: number extends N
    ? number
    : N extends 0
        ? 0
        : N extends PositiveInfinity
            ? NegativeInfinity
            : N extends NegativeInfinity
                ? PositiveInfinity
                : `${N}` extends `-${infer P extends number}`
                    ? P
                    : `-${N}` extends `${infer R extends number}` ? R : number