Numbers can now be meaningfully Optional.

Introduced the notion that a Type can say, "render me as Blank if my
value is None, even if my default is not blank".  Kind of icky, but it's
what we really want here for now.