$x="12345.67"; $y=$x+1;