$double = 1.797693134862314e+308;