Use int32_of_big_int when computing bignum limbs
#2682
Merged
int32_of_big_int when computing bignum limbs
#2682