GPT-4oさんの解説のまとめ部分だけ引っ張ってくると

"・IEEE 754規格は、数値の丸め方法も標準化しており、通常は「最近接丸め」が使われます。
・0.3333333333333333 は double 型の内部表現で最も近い値に丸められ、それに 3.0 を掛けた結果も丸められて 1.0 になります。
・これにより、 0.3333333333333333 * 3.0 が 1.0 になるのです。"