Esta vez $KOMA superó 0.017.
Ahora está en 0.01677; volvió a retroceder.
Que lo pruebe una y otra vez indica que ambos lados están forcejeando; no hay que apresurarse a tomar partido.
Sinceramente, me he equivocado varias veces en situaciones así, así que prefiero esperar un poco más.