VM: bignum_to_fixnum_strict and an accompanying vm error in case the conversion fails