Comment by wrs

There’s also a clear extra space between the 4 and 5, so figuring out to group it as “not 1 45, nor 145 but 14 5” doesn’t seem worthy of astonishment.