Update binary min-bound. We depend on Generic support