Hi, FlashToo:
I believe you are correct, but the 25,000,000 value is much more obvious to someone reading the code. And you are also correct in that the difference is very small.
To add a little perspective, a good, temperature-compensated oscillator may give you frequency stability around two-parts per million. The value of 25,000,000 versus 24,999,999 is .04 parts per million, or fifty-times smaller.
So if it was an inadvertent mistake, you can understand why it was never discovered before.