fix getHigh32 return type