Is `Metrics.gauge(Number)` declarative looking enough to avoid the downsides of annotations that come with `@Gauge`?

Micrometer.java

public class PrimeNumberChecker {
  // could use Gauge.builder(..) instead if you want description text and base units
  private final AtomicLong highestPrimeNumberSoFar = Metrics.gauge("highestPrimeNumberSoFar", new AtomicLong(2));

  public String checkIfPrime(long number) {
      ...
      return highestPrimeNumberSoFar.compareAndExchange(Math.min(highestPrimeNumberSoFar.get(), number), number) +
        " is prime.";
  }
}

Microprofile.java

public class PrimeNumberChecker {
  private long highestPrimeNumberSoFar = 2;

  public String checkIfPrime(long number) {
      ...
      if (number > highestPrimeNumberSoFar) {
          highestPrimeNumberSoFar = number;
      }
      return number + " is prime.";
  }

  @Gauge(name = "highestPrimeNumberSoFar", unit = MetricUnits.NONE, description = "Highest prime number so far.")
  public Long highestPrimeNumberSoFar() {
      return highestPrimeNumberSoFar;
  }
}

Example taken from Quarkus MP metrics docs here.