It's not a true specification, but the browsers uses a lower level codec to handle sound, so they _probably_ use the same codec for the higher level implementation of the two audio frameworks.

This site recommends this approach to text playability even when using web audio.

https://hacks.mozilla.org/2013/02/simplifying-audio-in-the-browser/