And contrary to what someone else said here, I don't see why no animated smilies should be included in the default package.
Especially with a laughing smiley, I don't see how you could make one that is not animated. Because a laughing smiley that is not animated looks to me like it's grinning or something. Especially that LOL smiley that comes with IPB by default. Some people have "updated" it a bit and added an animation. That has made the smiley SO much better and a lot more expressive.