(/ 1e+308 0.5)