Rather cosmetically, behave a little more like Javascript: On our random
number, strip leading zeros.