Update convert_from_double to new INF semantics; CONVERT_DBL tests pass