I just tested, you don't need to.
The <code>%</code> operator manages to cast it automagically.