Keep standard operator name of modulo as communicated to g-rocket