0.1と0.2を2進数の指数表記にすると以下のようになる。

0.1 : 1.10011001... x 2^-4
0.2 : 1.10011001... x 2^-3

両者とも循環小数だが、仮数部が完全に同じなので、特定桁で丸めても仮数部は同じまま。
2倍しても指数部が増えるだけなので、(0.1を特定桁で丸めた値)*2==(0.2を特定桁で丸めた値)となる。