double MAX_FINITE = 1.7976931348623157e+308