0.1+0.2_=_0.3+4e-17