Desta vez, $KOMA rompeu 0.017.
Agora está em 0.01677 e voltou a recuar.
Ficar testando para lá e para cá mostra que os dois lados estão em disputa; não há pressa para tomar partido.
Para ser sincero, já interpretei situações assim errado várias vezes, então prefiro esperar um pouco mais.