<?php
namespace Claromentis\Infocapture\ExpressionLanguage\Nodes;

$GLOBALS["__65da1b1ec2d6653e8a0ab7848e" . "536215"] = (@$GLOBALS["__65da1b1ec2d6653e8a0ab7848e5362" . "15"] ?: array()) + array("_0a6b0ce9082d4d" . "9f1b0db7563ea73" . "0ad" => base64_decode("Zmx" . "vYX" . "R2Y" . "Ww="));
class NumberNode extends ValueNode
{
    public function __construct($value)
    {
        $this->value = $GLOBALS["__65da1b1ec2d6653e8a0a" . "b7848e536215"]["_0a6b0ce9082d4d9" . "f1b0db7563ea730a" . "d"]($value);
    }
}