0x[0-9a-f] not strict enough #161
Description
Just a stray observation: numbers like "40x40" will use the 0x… ligature. This looks nice but is inconsistent with any number preceding the x that doesn't terminate with 0, e.g., "128x128".