On 30/09/2022 20:44, Peter Lammich wrote: > ... I'm still waiting for Florian (author of signed_divide change), or a > general OK such that I can factor out a syntactic signed_divide typeclass. OK. It is up to Florian to tell when he is finished with it. Makarius