[
	FLOAT(1.7976931348623157e+308)
	FLOAT(inf)
]
