When trying to make a smart playlist that searches for a specific file type I found that it doesn't look for the name of the file type (mp3, wav, flac), but a number associated with the file type (mp3 is "8", wav is "1").

Is this the intended function? If so, is there a list of which numbers correspond to each file type?