docs: private static void appendTime(StringBuilder sb, int hours, int minutes, int seconds, int nanos) {
      sb.append(NUMBERS[hours]);
  
      sb.append(':');
      sb.append(NUMBERS[minutes]);
  
      sb.append(':');
      sb.append(NUMBERS[seconds]);
  
      // Add nanoseconds.
      // This won't work for server versions < 7.2 which only want
      // a two digit fractional second, but we don't need to support 7.1
      // anymore and getting the version number here is difficult.
      //
      if (nanos < 1000) {
        return;
      }
      sb.append('.');
      int len = sb.length();
      sb.append(nanos / 1000); // append microseconds
      int needZeros = 6 - (sb.length() - len);
      if (needZeros > 0) {
        sb.insert(len, ZEROS, 0, needZeros);
      }
  
      int end = sb.length() - 1;
      while (sb.charAt(end) == '0') {
        sb.deleteCharAt(end);
        end--;
      }
    }