issue 820: Double precision arithmetic in combined formats; under FIX_819_DOUBLE_PREC_COMB_FORMATS;