Use arena dss prec instead of default for huge allocs.

This implements issue #53.