Others have indicated that it is not portable ... but you already know this, and you specified the 64-bit OS X. In principle, you have the mantissa incorrectly. 1.25appears to be the implicit leading bit for 1.0. The first explicit bit of the mantissa represents the 0.5second bit 0.25. So, the mantissa is actually: 01000000000000000000000.
0 10000001, , :
0x40a00000, 1084227584 .