Method med

gecode/float/val.hpp:81–84

    return gecode_boost::numeric::width(x);
  }
  forceinline FloatNum
  FloatVal::med(void) const {
    return gecode_boost::numeric::median(x);
  }

  forceinline bool
  FloatVal::tight(void) const {