protected function libUnit($args) { $num = $args[0]; if ($num[0] === Type::T_NUMBER) { return [Type::T_STRING, '"', [$num->unitStr()]]; } return ''; }