double INFINITY = 1.0 / 0.0