the compiler now allows + to be used as a floating point addition in the abstract syntax