operators for float and boolean
test for numerical types
aterm
fuuuuuuuuuuuuuuuuuuu