Added basic support for division, but I could figure out how to handle
casts properly though.