quotkbaseb
See the documentation of Vaucanson 1: in addition to divkbaseb, it presents a quotkbaseb factory. The former check numbers that are divisible by k, the latter computes the quotient by k.
Implement it in V2.
Follow the implementation of V1. Write test cases that check that indeed the transducer behaves as claimed.