private String fFormatString(double x) {
      boolean noDigits=false;
      char[] ca6,ca7;
      if (Double.isInfinite(x)) {
        if (x==Double.POSITIVE_INFINITY) {
          if (leadingSign) ca6 = "+Inf".toCharArray();
          else if (leadingSpace)
            ca6 = " Inf".toCharArray();
          else ca6 = "Inf".toCharArray();
        }
        else
          ca6 = "-Inf".toCharArray();
        noDigits = true;
      }
      else if (Double.isNaN(x)) {
        if (leadingSign) ca6 = "+NaN".toCharArray();
        else if (leadingSpace)
          ca6 = " NaN".toCharArray();
        else ca6 = "NaN".toCharArray();
        noDigits = true;
      }
      else
        ca6 = fFormatDigits(x);
      ca7 = applyFloatPadding(ca6,false);
      return new String(ca7);
    }