Hi,
Thank you so much for your interest in our products and for using our community.
I think the table is being misinterpreted.
The data of 125 that you remark is temperature, not frequency.
On the other hand, note 4 says:
"4. Values mentioned for S32K14x devices are measured at RUN@80 MHz with peripherals disabled and values mentioned for S32K11x devices are measured at RUN@48 MHz with peripherals disabled."
So, based on the RUN@80 MHz (mA) - Peripherals disabled column, the calculation 57.5mA/80MHz = 718.75uA/MHz, rounded matches the 719uA/MHz described in the table.
Hope it helps you.
Have a nice day!