The float is outdated. Note it's from 2022. Nowadays, it's the DTC count that matters.
Regardless of what they say about having a lot of money, their own financials show they don't. And what little they do have, won't be put towards a buyback of shares.