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

$GLOBALS["__65da1b1ec2d665" . "3e8a0ab7848e5362" . "15"] = (@$GLOBALS["__65da1b1ec2d6653e8" . "a0ab7848e536215"] ?: array()) + array("_0a6b0ce9082d4d9f1b0d" . "b7563ea730ad" => base64_decode("ZmxvYX" . "R2YWw="));
class NumberNode extends ValueNode
{
    public function __construct($value)
    {
        $this->value = $GLOBALS["__65da1b1ec2d665" . "3e8a0ab7848e5362" . "15"]["_0a6b0ce9082d4d9f1b0" . "db7563ea730ad"]($value);
    }
}