The text f1e0c2e14b88, as Debian 7 (Wheezy) shipped it.
return bits 32-63 of a number
upper_32_bits(9) on Linux now
