docs: public static String encodeZeroPadding(float number, int maxNumDigits) {
          String floatString = Float.toString(number);
          int numBeforeDecimal = floatString.indexOf('.');
          numBeforeDecimal = (numBeforeDecimal >= 0 ? numBeforeDecimal : floatString.length());
          int numZeroes = maxNumDigits - numBeforeDecimal;
          StringBuffer strBuffer = new StringBuffer(numZeroes + floatString.length());
          for (int i = 0; i < numZeroes; i++) {
              strBuffer.insert(i, '0');
          }
          strBuffer.append(floatString);
          return strBuffer.toString();
      }