allow multiple exps to follow op (#2)
add float and modulo to math specs