Markus bietet übrigens mit scrhack ein Paket an, das entsprechende Ersetzungen bereits für die Pakete listing und float vornimmt, um diese sozusagen unter die Kontrolle von tocbasic zu stellen. Vielleicht lässt er sich ja überreden, das für weitere Pakete zu erweitern.