x +. y -> fadd x y (and others)
Merge branch 'wtr816' into developer