Google Java Format

Author: github-actions

src/org/openpatch/scratch/Operators.java

@@ -156,6 +156,7 @@ public static final int round(double x) {
 
   /**
    * Rounds a number to a specified number of decimal places.
+   *
    * @param x a value
    * @param precision the number of decimal places to round to
    * @return the rounded value