import { AddDigits } from "./digits/addition";
import type { ToNumber, ToString, DigitNumber, FromDigitNumber, ToDigitNumber, Sign, Num, MakeDigitNumber, InvertSign, Normalize } from "./utils";
import { CompareDigits } from "./compare";
import { SubDigits } from "./digits/substraction";
type AddDigitNumbers<T extends DigitNumber, U extends DigitNumber> = Sign<T> extends Sign<U> ? MakeDigitNumber<Sign<T>, AddDigits<Num<T>, Num<U>>> : CompareDigits<Num<T>, Num<U>> extends 1 ? MakeDigitNumber<Sign<T>, SubDigits<Num<T>, Num<U>>> : MakeDigitNumber<InvertSign<T>, SubDigits<Num<U>, Num<T>>>;
export type Add<T extends number | bigint, U extends number | bigint> = ToNumber<FromDigitNumber<Normalize<AddDigitNumbers<ToDigitNumber<ToString<T>>, ToDigitNumber<ToString<U>>>>>>;
export {};