feat: toNat
and toInt
theorems for signExtend
#256
check-stage0.yml
on: pull_request
check-stage0-on-queue
20s