code: private int precisionSum(List<UnitFactor> factors) {
      return factors.stream().map(f -> totalPrecision(f.rational())).reduce(0, Math::addExact);
    }
docs: Reduces the list of factors by adding together the precision
  for all numerators and denominators.