Type Alias SubtractPostChecks<A, B, AreNegative>

SubtractPostChecks: AreNegative extends [false, false]
    ? SubtractPositives<A, B>
    : AreNegative extends [true, true]
        ? ReverseSign<SubtractPositives<NumberAbsolute<A>, NumberAbsolute<B>>>
        : [...TupleOf<NumberAbsolute<A>>, ...TupleOf<NumberAbsolute<B>>] extends infer R extends
            unknown[]
            ? LessThan<A, B> extends true ? ReverseSign<R["length"]> : R["length"]
            : never

Subtracts two numbers A and B, such that they are not equal and neither of them are 0, +/- infinity or the number type