Add --pins-sc-uint and --pins-sc-biguint, bug638.
Merge branch 'master' into bitsplit