Audio is output using platform specific APIs. On Windows it's WASAPI, on Linux it's ALSA.
The main audio buffer is allocated by the application and when it's time to present it, the driver's audio buffer is locked and the produced content is copied over.
Currently there's no way to select which audio format to request.