docs: function selectDistinctValues (args, tol) {
    const uniqueValues = [];
    let i;
    let j;
    let n = args.length;
    for (i = 0; i < n; ++i) {
      const arg = args[i];
      let isNotUnique = false;
      for (j = 0; j < uniqueValues.length; ++j) {
        isNotUnique = isNotUnique || isEqual(arg, uniqueValues[j], tol);
      }
      if (!isNotUnique) {
        uniqueValues.push(arg);
      }
    }
    return uniqueValues;
  }