No description.
(sb-bignum::a sb-bignum::len-a sb-bignum::b sb-bignum::len-b sb-bignum::result sb-bignum::len-res)