yeah but even in release mode, "min" of an unbounded should raise a fatal error... we cannot continue "silently"...