123_456

[Simon Cozens]

Should we be allowed to use _ to group numbers, now that _ is concat?
If not _, then what? (if anything?)

-- 
Hanlon's Razor:
        Never attribute to malice that which is adequately explained
        by stupidity.