static Node numberNode(double value, Node srcref) {
    Node result;
    if (Double.isNaN(value)) {
      result = IR.name("NaN");
    } else if (value == Double.POSITIVE_INFINITY) {
      result = IR.name("Infinity");
    } else if (value == Double.NEGATIVE_INFINITY) {
      result = IR.neg(IR.name("Infinity"));
    } else {
      result = IR.number(value);
    }
    if (srcref != null) {
      result.srcrefTree(srcref);
    }
    return result;
  }
static Node numberNode ( double value , Node srcref ) { Node result ; if ( Double . isNaN ( value ) ) { result = IR . name ( "NaN" ) ; } else if ( value == Double . POSITIVE_INFINITY ) { result = IR . name ( "Infinity" ) ; } else if ( value == Double . NEGATIVE_INFINITY ) { result = IR . neg ( IR . name ( "Infinity" ) ) ; } else { result = IR . number ( value ) ; } if ( srcref != null ) { result . srcrefTree ( srcref ) ; } return result ; }
@return An appropriate AST node for the double value.