Constructor: With dedicated Pub parameter
RxInt.withPub(int initial, Pub? pub) : super.withPub(initial, pub);