Comment by nsajko

Yeah, double-word floating-point loses many of the desirable properties of the usual floating-point.