dictFingerprint(): cast pointers to integer of same size.