diff --git a/src/Max.ts b/src/Max.ts
new file mode 100644
index 0000000..21b1b9b
--- /dev/null
+++ b/src/Max.ts
@@ -0,0 +1,34 @@
+
+import { Digit, DigitsToNumber, SplitDigits, TupleForDigit } from "."
+
+export type Max<A extends number, B extends number> = DigitsToNumber<MaxDigitArray<SplitDigits<A>, SplitDigits<B>>> & number
+
+export function max<A extends number, B extends number>(a: A, b: B) {
+    return Math.max(a, b) as Max<A, B>
+}
+
+type MaxDigitArray<A extends Digit[], B extends Digit[]> = 
+    A extends B
+        ? A | B
+        : A['length'] extends B['length']
+            ? Head<Digit, A> extends Head<Digit, B>
+                ? [Head<Digit, A>, ...MaxDigitArray<Tail<Digit, A>, Tail<Digit, B>>]
+                : MaxDigit<Head<Digit, A>, Head<Digit, B>> extends Head<Digit, A> 
+                    ? A
+                    : B
+            : MaxByLength<A, B>
+    
+type MaxDigit<A extends Digit, B extends Digit> = 
+    MaxByLength<TupleForDigit<A>, TupleForDigit<B>> extends TupleForDigit<A> ? A
+     : A extends B ? A | B
+     : B
+
+type MaxByLength<A extends any[], B extends any[]> =
+    A['length'] extends B['length'] ? A | B
+    : ToZeros<A> extends [...infer Other, ...ToZeros<B>] ? A
+    : B
+
+type ToZeros<Tuple extends any[]> = { [Property in keyof Tuple]: 0}
+
+type Head<Type, Tuple extends Type[]> = Tuple extends [infer Head extends Type, ...Type[]] ? Head : never 
+type Tail<Type, Tuple extends Type[]> = Tuple extends [Type, ...infer Tail extends Type[]] ? Tail : never
diff --git a/src/Subraction.ts b/src/Subraction.ts
new file mode 100644
index 0000000..7e50931
--- /dev/null
+++ b/src/Subraction.ts
@@ -0,0 +1,15 @@
+import { Digit, DigitsToNumber, SplitDigits, TupleForDigit } from ".";
+
+export type Add<A extends number, B extends number> = DigitsToNumber<SubtractDigitArrays<SplitDigits<A>, SplitDigits<B>>> & number
+
+type SubtractDigitArrays<A extends Digit[], B extends Digit[], Carry extends boolean = false> = 
+    [A, B] extends [[...infer HeadA extends Digit[], infer TailA extends Digit], [...infer HeadB extends Digit[], infer TailB extends Digit]] ? AddTails<HeadA, TailA, HeadB, TailB, Carry> : [A, B] extends [[...infer HeadA extends Digit[], infer TailA extends Digit], []] ? AddTails<HeadA, TailA, [], 0, Carry> : [A, B] extends [[], [...infer HeadB extends Digit[], infer TailB extends Digit]] ? AddTails<[], 0, HeadB, TailB, Carry> : [A, B] extends [[], []] ? Carry extends true ? [1] : [] : []
+
+type SubtractTails<HeadA extends Digit[], TailA extends Digit, HeadB extends Digit[], TailB extends Digit, Carry extends boolean> = 
+    SplitDigits<SubtractDigits<TailA, TailB, Carry>> extends [1, infer Result extends Digit] ? [...AddDigitArrays<HeadA, HeadB, true>, Result] : [...AddDigitArrays<HeadA, HeadB>, SplitDigits<AddDigits<TailA, TailB, Carry>>[0]]
+
+type SubtractDigits<A extends Digit, B extends Digit, Carry extends boolean = false> =
+    
+    [...TupleForDigit<A>, ...TupleForDigit<B>, ...(Carry extends false ? [] : [0])]['length'] & number
+
+
diff --git a/src/index.ts b/src/index.ts
index 5fc09d7..6463a81 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -40,5 +40,3 @@ type Join<List extends Stringable[]> =
             : never
 
 export type DigitsToNumber<Digits extends Digit[]> = StringToNumber<Join<Digits>>
-
-