Would someone kindly recommend a command line utility that can play any section of an audio file specified in milliseconds e.g.
player -start-time=0.1234 end-time=5.6789 audio.wav
None of the audio players that I've come across seem to have this functionality. vlc supports start and end times but in seconds only, while Audacity does not appear to have much in the way of command line options.