mp_rational: implement print_tex_coefficient.