I find that in AKCL 1.615, having first done (si::multiply-bignum-stack 4) and (setq si::*multiply-stacks* 4), all three of your statements evaluate successfully.