Primitive bignum encoding added in the compiler. Doesn't work for all