docs: @NotNull
      public static String decimalToDegreesMinutesSecondsString(double decimal)
      {
          double[] dms = decimalToDegreesMinutesSeconds(decimal);
          DecimalFormat format = new DecimalFormat("0.##");
          return String.format("%s\u00B0 %s' %s\"", format.format(dms[0]), format.format(dms[1]), format.format(dms[2]));
      }