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