$1000PEPE está a punto de volver a arrancar; ¿se podría quitar un cero después del punto decimal?