NO, this is referring to more than 750 customers with (large) $100K ARR, not Miro's ARR in total.

Why would it be a typo? Miro was doing $600M ARR, some of their customers were paying them $100k+ a year. That is totally normal. It would be weird if they did not have such customers.