Use math to compute the value of VERSION_NUM and VERSION_HEX so we don't have
mutliple sources of truth for the integer-encoded version number any longer.