$res = 5.1 + 100005.2 - 100005.2;