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