I think I’ve realised why you are getting 24kHz, rather than 48kHz. slin48 is mono, but the program you used is probably assuming stereo, so consuming two samples for every sample time.
If you actually use Audacity, you are pretty much forced to select all the relevant parameters when you import.