20 to 20 kHz (=20,000 Hz) is actually pretty much the range of human hearing, so you're not going to have to go beyond that. It is most certainly better than the other, which has a whole lot of stuff missing from the high and low end of the spectrum.
However, depending on the exact specs these figures are based on and given different tolerances, the 100 to 12.5 kHz (which is what is meant here, not 12.5 Hz as you wrote) might just be more honest, which I doubt, though. These numbers are really not good for an audio playback device. Also, the audio quality you're hearing (including frequency response) will depend a lot heavier on the quality of the headphones used, not on the player.
Just out of curiosity: Which other device is it?
Hope this helps.