Thanks, everyone. He's fine, lets me open the paw to have a look and touch (in fact, seems to prefer this kind of meddling rather than having his nails trimmed!) I was going to hunt around the playpen yesterday for the missing claw to see if he did it outside, but it's no doubt been washed away in the rain. One of those cat mysteries ...