>>551
数値としての実際の値に影響するのは指数部だが、それには元の値との掛算でいい。
>>546で言っているのは、真の後者との1LSBの差が何によるものかということ。

(1.0+DBL_EPSILON)の仮数部のビットパターンは定義により以下のようになる。
＃(1)はケチ表現で省略されたビット

(1)00...01

このとき、次のビットパターンで表される任意の値との乗算は

(1)a*...**

以下の加算と同等だが

(1)a*...**
(0)00...01a*...**

このとき、aのビットが1のとき繰上げが起きると推測。
まあ、ここの動作は環境依存かもしれないが。