[jwilk]

This should be slightly more efficient:

  lnn = n * ln(2)

[ColinWright]

It is, but not everyone is comfortable with why that is true, hence leaving it the way I did.

But you're right, it would otherwise be an appropriate simplification.