Я могу только предположить, что это ошибка. Первое утверждение проходит, а второе не проходит:

double sum_1 =  4.0 + 6.3;
assert(sum_1 == 4.0 + 6.3);

double t1 = 4.0, t2 = 6.3;

double sum_2 =  t1 + t2;
assert(sum_2 == t1 + t2);

Если не ошибка, то почему?