comparison with +inf only works when +inf is the LHS