RendererGenerators\PHP: ensure that literal numbers don't begin with a zero, which would make them use octal