Function pi_upper

gecode/float/num.hpp:48–51

    return gecode_boost::numeric::interval_lib::constants::pi_lower<FloatNum>();
  }
  forceinline FloatNum
  pi_upper(void) {
    return gecode_boost::numeric::interval_lib::constants::pi_upper<FloatNum>();
  }
  forceinline FloatNum
  pi_twice_lower(void) {
    return gecode_boost::numeric::interval_lib::constants::pi_twice_lower<FloatNum>();