Added MP_DIVF to Scanner

The new grammar has "div" as well as "/" for dividing (ints vs floats),
now MP_DIV refers to "div" and MP_DIVF refers to "/"