$NOT
¿No estamos esperando los tres ceros después del decimal? Bueno, esto no se detendrá hasta entonces.