Sorry sorry, just sheer laziness :) I read the article in full first on mobile before I wrote my comment, and remembered the number as being $4xx,xxx, basically

Sorry sorry, just sheer laziness :) I read the article in full first on mobile before I wrote my comment, and remembered the number as being $4xx,xxx, basically I could only remember the first significant figure!