Universal backend: add bignum constants