Add conversions between non-zero int types in `std::num` and Python int.