15 finished fixnum not a bignum