Add getValue function for ConstantInt