allow bitWidthPrecedenceDomain to be 0 (issue #59)