This has always been an acception: `[number]`