real.c (encode_ibm_extended): Don't bother rounding low double.