А вот и нет ! в 4-м сервис паке она не вылечена !
//test
static void A1(Args _args)
{

    real    a = 9999.999999999999;
    real    b = 9999.999999999999;
    ;


    info (strfmt("a+b = %1" , a + b));

}

выводит 10 000