Cast to u64 before >>32, incase it was only u32 - thanks to Alan Cox.
Attach a file by drag & drop or click to upload
