((-1)**n).as_base_exp() == (-1, n)