Add declaration for __gmpz_get_d and kill some parens