Post #1421383

@highergeometer @DavidKButler I really like this, especially the way this framework explains why ordinal and cardinal addition make sense (but are different from each other) but we don't tend to define addition on the extended natural numbers (or extended reals)