Right, it's a quirk of the CPU.
It's a precision quirk of floating point that has to be defined, and different CPUs follow different definitions. Within IEEE754 it can of course also differ, since it does not prevent higher precision than specified.
http://en.wikipedia.org/wiki/Denormal_number
