Is necessary to use SEQ_MAXVALUE in pg_dump?

I'm trying fix independence of pg_dump.c on postgres.h. And I found
following construct in dumpSequence function:

09391 snprintf(bufm, sizeof(bufm), INT64_FORMAT, SEQ_MINVALUE);
09392 snprintf(bufx, sizeof(bufx), INT64_FORMAT, SEQ_MAXVALUE);
09393
09394 appendPQExpBuffer(query,
09395 "SELECT sequence_name, last_value,
increment_by, "
09396 "CASE WHEN increment_by > 0 AND max_value = %s
THEN NULL "
09397 " WHEN increment_by < 0 AND max_value = -1
THEN NULL "
09398 " ELSE max_value "
09399 "END AS max_value, "
09400 "CASE WHEN increment_by > 0 AND min_value = 1
THEN NULL "
09401 " WHEN increment_by < 0 AND min_value = %s
THEN NULL "
09402 " ELSE min_value "
09403 "END AS min_value, "
09404 "cache_value, is_cycled, is_called from %s",
09405 bufx, bufm,
09406 fmtId(tbinfo->dobj.name));

This construct is used to determine if max_value/min_value is used and
after that pg_dump add NO MAXVALUE to the output instead of the value.
If I compare it with manual documentation NO MAXVALUE uses default value
and I do not see any reason to have this code there. I think we can
remove this code and release dependency on sequence.h.

Any comments?

Zdenek