fixed another bug in bigint handling