There are many extensions with numbers. I can't think of someone generating a mp3 file (but possible of course) but M3U is a very easy example.