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