double infinity = 1.0 / 0.0