K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2016-01-12T16:31:07.655717Z
K 7
svn:log
V 233
Cast using uintfptr_t and eliminate the cast to uint64_t which is uneeded
because rounding down cannot increase the number of bits needed to express
the result.

I had no idea there was such a thing as uintfptr_t.

Requested by: bde

END