(print (+ 1.0 2.0))