Printing out mpf_class inside gdb

[Stephen torri]

Now back to our original problem. How do you print out a mpf_class type
in gdb? I did print obj where obj is a mpf_class type. I see the
components of the mpf_class but not the value.

Stephen