[Cfp-interest 1726] Re: short hex strings

[David Hough CFP]

> ++++++++++
For example, possible printed output for the code 

#include <stdio.h>
â¦
double x = 123.0;
printf("%.1a", x); 

include "0x1.fp+6" and "0xf.6p+3â whose numerical values are 124 and 123 respectively.
++++++++++

This is simpler.    

This is also an example of the sort of thing for which we had background
documents for 754.