VersionNumber: make number type platform-independent (UInt32)
It seemed strange that we could represent higher version numbers
on 64-bit systems than 32-bit systems (not that it practically
matters). This commit makes the representation of version numbers
platform-independent, using UInt32 everywhere instead of Int.
