Add support for sdiv operator