now fmpz_cmpabs_log2() really works