fix precision of leading coefficient in hecke_polynomial_in_T_variable.