Added operations support for ProtectedInt type