Rename numAsWt to more appropriate widenInteger.