Binding using/typdefs of fundamental types

[rgambord]

Suppose I have some typedef to a fundamental type, like using IdType = int

Is there a simple way to bind IdType so that there is a corresponding IdType class in python, which is distinct from int?

It seems like the appropriate approach would be something along the lines of,

pybind11::class_<IdType>(m, "IdType")
  .def(py::init([]() { return new IdType{}; })
  .def(py::init([](int v) { return new IdType{v}; })
  .def(py::self + py::self)
  .def(py::self += py::self)
  /* ...? */

Is this correct, or is there a better way?
Thank you!