t integer addition.\\n\\nYou can define your own implementation of `+`:\\n\\n```\\n(+) : BigInt -> BigInt -> BigInt\\n(+) a b =\\n  (BigInt.toInt a) Int.+ (BigInt.toInt b)\\n```\\n\\nAs you can see, we'll also allow qualified operators like `Int.+` so that it's possible to refer to different implementations of a given operator within a module.\\n\\nIt's important to note that you won't be allowed to define entirely new operators, or redefine precedence and associativity rules for existing ones. \\n\\n## Wra