more bigint fixes