public static String number_format(double value, @Optional int decimals, @Optional String point, @Optional String group)
public static String number_format(Env env, double value, @Optional int decimals, @Optional Value pointValue, @Optional Value groupValue)
  public static String number_format(double value,				     @Optional int decimals,				     @Optional String point,				     @Optional String group)  {    // XXX: stub    return String.valueOf(value);  }