removal of alps/numeric/inf.hpp