Add BigInt extraction and test for Int->BigInt conversion#73

Open

romac wants to merge 1 commit intoepfl-lara:masterfrom

romac:int-conversions

Commits on Sep 4, 2019

Add test for Int<->BigInt conversions
romac
committed