redefined INF too quickly.