Wrong calculation of PDM clock?

Hi Guys,
I think the calculation is wrong:

https://github.com/arduino/ArduinoCore-mbed/blob/838d64437afde5f3c53f8b34f920093bca6cebb0/libraries/PDM/src/rp2040/PDM.cpp#L77

the clock frequency that is getting the mic is just (samplerate*decimation). Maybe the misinterpretation is from this line:

https://github.com/arduino/ArduinoCore-mbed/blob/838d64437afde5f3c53f8b34f920093bca6cebb0/libraries/PDM/src/rp2040/PDM.cpp#L109

But at the end the clock frequency will be (samplerate*decimation).

Start with libraries/PDM/src/rp2040/PDM.cpp at the referenced lines 77 and 109, then trace how the samplerate and decimation values determine the microphone clock. Confirm the expected PDM clock calculation and update the implementation if it is wrong; the issue is done when the resulting clock matches the documented relationship and relevant checks pass.

Written by the indexing model from the issue text.