return new NumberNode((children == null) ? null : children.clone(stylesheet), (next == null) ? null : next.clone(stylesheet), value.clone(stylesheet),
TemplateNode ret = new NumberNode(value.clone(stylesheet),
  TemplateNode clone(Stylesheet stylesheet)  {    return new NumberNode((children == null) ? null :                          children.clone(stylesheet),                          (next == null) ? null :                          next.clone(stylesheet),                          value.clone(stylesheet),                          format, lang, letterValue,                          groupingSeparator, groupingSize);  }