Si $RE se mantiene en 0.8, debería seguir rompiendo hacia arriba, supongo...