On 4/2/2011 3:27 PM, ulrik.mikaelsson at gmail.com wrote: > As I wrote, I think it's great that 010 != 8 anymore. 010, etc., will now be errors. They will not be 10 decimal. Also, the literals 00, 01, ..., 07 will still be accepted without complaint. 08, 09, etc. will of course be errors.