Another one fix for Bigint