rename INFINITY const