Guido van Rossum wrote: > (Not sure > about "12_34_56" but there are probably use cases for that too.) I think the Chinese group by 10,000s rather than 1000s, so they might want to write 1234_5678. -- Greg