Ivan

I think that if you try to push different BigInt values one by one into the same signal, it should work. Push_input seems to append values to the vector. Try...