fix wrong unnecessary downcast

Leads to a BadJumpDestination exception for jumps to positions larger than max value of unsigned.