In 32-in-64 constants should always have the top word zero so after sign-extending the top word should be cleared.