[OJFord]

100k USD is about 90k EUR (and 77k GBP), which you may say doesn't change your point materially, but I'm not splitting hairs, that's more than a 10% difference.

I think people often put the goalposts further away than they truly are by comparing numbers cross-currency directly like this or just round numbers in general.

[dharmab]

FWIW that 10% almost entirely comes from the current economic shock. At the beginning of 2025 1 USD was about 1 Euro.