RegistrationId 
    A registration identifier which clients (end-users) should maintain and generate once at install time. It is a random number between 1 and 16380.
In serialization, it is treated as Int based on the underlying value.
Functions
Link copied to clipboard
                  Link copied to clipboard
                  Subtracts the other value from this value.
Link copied to clipboard
                  Adds the other value to this value.
Link copied to clipboard
                  Converts this RegistrationId value to Int.