Fixed how literals were generated in the spec.
Fixed the way numbers are rendered as bitvectors: the least significant number goes *first*!