is it possible to use negative int in signal

[stackdump]

Disclaimer: Likely there is something fundamental I just don't understand about this yet.

Use Case: I'm attempting to add 2 vectors (which may contain negative values) & assert that the result is >= 0

attempt here passes: https://gist.github.com/stackdump/9ef923d8f9f10a874cb04a6730a095b4

But If I try to make one of the input signals a negative integer - seems to hang forever while generating the proof (as I watch load climb on my cpu).

P.S. Also - is there another way I should be using arithmetic on signals?

[gubsheep]

we ran in to this as well. for anyone who runs into this issue: in your input.json, try representing the number -n as "p-n" (in quotations!), where p is field size 21888242871839275222246405745257275088548364400416034343698204186575808495617