public function NumberLiteral__finalise(&$self) { if (isset($self['dec'])) { $self['val'] = (double) $self['text']; } else { $self['val'] = (int) $self['text']; } }