1:=> (define p::bignum (string->bignum "42")) p