'go to <...> as <number>' parsing bug fixed
bugfix 12648 applied to 7.0