pub fn add_single(a: Single, b: Single) -> (Single, Single)
Assumed as a given primitive.
Addition of two singles, which at most takes a single limb of result and a carry, returned as a tuple respectively.
