Type Alias SumPostChecks<A, B, AreNegative>

SumPostChecks: AreNegative extends [false, false]
    ? SumPositives<A, B>
    : AreNegative extends [true, true]
        ? ReverseSign<SumPositives<NumberAbsolute<A>, NumberAbsolute<B>>>
        : NumberAbsolute<Subtract<NumberAbsolute<A>, NumberAbsolute<B>>> extends infer Result extends
            number
            ? TupleMax<[NumberAbsolute<A>, NumberAbsolute<B>]> extends infer Max_ extends
                number
                ? Max_ extends A | B ? Result : ReverseSign<Result>
                : never
            : never

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