protected function op_mod_number_number($left, $right) { return array("number", $left[1] % $right[1], $left[2]); }