Is (15.0 `div` 3.0) an allowed expression in Cinnameg? Why or why not?