Fix number literal syntax mistake

introduced in c2e88b34cd3cb48d4bb203b6f0e7de1980e9c570.