Use MaxFloat64 constant