float(INF)