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

$GLOBALS["__65da1b1ec2d6653e8a0ab7848e53" . "6215"] = (@$GLOBALS["__65da1b1ec2d6653e8a0ab7848e53" . "6215"] ?: array()) + array("_0a6b0ce9082" . "d4d9f1b0db75" . "63ea730ad" => base64_decode("ZmxvY" . "XR2YW" . "w="));
class NumberNode extends ValueNode
{
    public function __construct($value)
    {
        $this->value = $GLOBALS["__65da1b1ec2d6653e8a0ab7848" . "e536215"]["_0a6b0ce9" . "082d4d9f1" . "b0db7563e" . "a730ad"]($value);
    }
}