FYI,

I've committed the attached.  It adds a ui_file and frame_info parameter 
to the print_float_info() method.

It also makes the method multi-arch pure.

Andrew

PS: In doing this I noticed that arm-tdep.c is using printf() et.al. :-(