I don't know what a RCSwitch is, nor do I know what RCSwitch::getReceivedValue() does, or returns, but I do know that 7419184 is NOT an int value.
You need to look at the source code, and see what RCSwitch::getReceivedValue() returns. It probably is NOT an int. Then, you need to make value's type the same as that returned by RCSwitch::getReceivedValue().
Then, I think you'll have happier results.