If the while loop executes 0 times, an undefined
negative bit shift would occur.

Also eliminate ugly cast with simpler constant declaration.

Change-Id: I91237652bf25e0de86b445b77d1760d53d0813b4