Type Alias Add<X, Y>

Add: `${X}` extends `-${infer N extends number}`
    ? `${Y}` extends `-${infer M extends number}`
        ? `-${Add<N, M>}` extends `${infer R extends number}` ? R : never
        : Subtract<Y, N>
    : `${Y}` extends `-${infer M extends number}`
        ? Subtract<X, M>
        : Length<[...NumberToArray<X>, ...NumberToArray<Y>]>