(1e20+0.1)-1e20