+(case sb-vm::n-word-bits
+ (32
+ (def-display-test *bignum*
+ "bignum 4938271560493827156 with 2 32-bit words
+ 0-> #xF7A60454
+ 1-> #x448843D1"))
+ (64
+ (def-display-test *bignum*
+ "bignum 4938271560493827156 with 1 64-bit word
+ 0-> #x448843D1F7A60454"
+ )))