Robustify ccode() of Pow wrt integer symbols.