I actually think  >> 32 would be more readable here. No need to count zeroes.