This has been an integer count since 7e413a0f so treat it explicitly
like an integer.

No backpatch since this is just cosmetic.