Augmenting numeric Subsets
Added `pair`
Infinite * 0 = 0 instead of Infinite
Docs