anchor.diff:      else
         Result := Infinity
     else
  +  // * Denormals
     if LExponent < -16382 then
     begin
       LDiff := -16382 - LExponent;
  
positive.code:     LExtendedRec.Man := LMantissa;
      LExtendedRec.Exp := 0;
      if LSign < 0 then
        LExtendedRec.Exp := LExtendedRec.Exp or $8000;
      Result := PExtended(@LExtendedRec)^;
    end
    else
  
negative.code:   // (1 div 25 = 0).                                                                                       //
    // So the dividend must be scaled up by at least Precision powers of ten. The end result must be rounded //
    // toward the target scale, which is Left.Scale - Right.Scale.                                           //
    ///////////////////////////////////////////////////////////////////////////////////////////////////////////
    // Is there a way to find out beforehand if we need the full precision? Take the above: 0.01/0.025 = 4   //
    // So we would only need to scale up BigInteger(1) to BigInteger(100) and then divide. Is there a way to //
    // determine this? OTOH, for 0.01/0.003 we need the full precision. Is there a way to determine if a     //
    // division will result in a non-terminating decimal expansion or if it is terminating, where it will    //
    // terminate?                                                                                            //
    ///////////////////////////////////////////////////////////////////////////////////////////////////////////
  
    if Right.FValue = BigInteger.Zero then
  