63 bits -> 32 bits