Поведение округления округления для удвоений

Может кто-нибудь объяснить это поведение? Мне хорошо известно представление чисел с плавающей точкой на уровне машины. Это похоже на printf и его форматы. Оба числа представлены точно с помощью нотации с плавающей запятой (проверка: умножение на 64 дает целое число).

#include <stdio.h>
#include <iostream>
using namespace std;

int main() {
  double x1=108.765625;
  printf("%34.30f\n", x1);
  printf("%9.5f\n", x1);
  printf("%34.30f\n", x1*64);

  double x2=108.046875;
  printf("%34.30lf\n", x2);
  printf("%9.5f\n", x2);
  printf("%34.30f\n", x2*64);
}

Вывод:

> 108.765625000000000000000000000000
> 108.76562
> 6961.000000000000000000000000000000
> 108.046875000000000000000000000000
> 108.04688
> 6915.000000000000000000000000000000

Обратите внимание: первое число округляется, а второе округляется.