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