(+ 1 2.5)