>>501
RAND_MAX + 1.0
とした段階で、この結果は double になります（し、double は普通仮数部が 52 ビットあります）から、
>>496 は、gcc でも問題なく動きます。
cf. ISO/IEC 9899:1999 6.3.1.8-1