That’s their income tax expense, which isn’t the same thing as the tax they pay. Judging from their 10-K, they did pay tax at around a 50% tax rate for 2022