Introduce "oct" as newly-default alias of "octal"

The reason for this is that there's no agreed-upon term for "hexadecimal"
that wouldn't be super awkward to type.  So instead keep "hex", but
introduce "oct" for consistency.
3 files changed