Post #1963479

@juergen Ah, of course it is octal 🤦 I tried to match it to both the decimal and hex versions, both as a raw number and in utf8.