getHigh32/setHigh32