Pow.is_real: reformulation of the problem for negative exponent

    closes #2730