Permalinks with post ID number

In the newest CVS, there is the option to have the permalinks use post ID number instead of post title. Post title worked for me, but post number just made the address /archives// which, obviously, doesn’t work.
Has anyone had this work for them or is just a bug? Thanks!