fixed some bugs in inverse, now getting a failed assertion inside of bigint