fn sub(comptime T: type, a: T, b: T) error{Overflow}!T
Returns a - b, or an error on overflow.
T: type,
a: T,
b: T,