Universal backend: add primitives for bignum support