* i387-tdep.c (print_i387_value): Add extra space after final full