Having number_format in so many thousands of places across so many products is indicative of pretty poor code. If you have bad code, you can hardly expect to be able to upgrade to new versions of the language seamlessly.
Speaking of which, are they going to upgrade to 5.3 without testing all those thousands of places across all their products?