Type Alias Divide<A, B>

Divide: A extends 0
    ? never
    : B extends 0
        ? never
        : `${A}` extends `-${infer N extends number}`
            ? `${B}` extends `-${infer M extends number}`
                ? DivideHelper<N, M>
                : `-${DivideHelper<N, B>}` extends `${infer R extends number}`
                    ? R
                    : never
            : `${B}` extends `-${infer M extends number}`
                ? `-${DivideHelper<A, M>}` extends `${infer R extends number}`
                    ? R
                    : never
                : DivideHelper<A, B>