Apart from expansion slots there's no real difference between A1200 and A4000 so the floppy 'controller' is essentially the same. Electrically there may be minute differences, but if the floppy drive works at all, it'll do HD, too. You can even attach it to old A500s/A2000s, all you need is Kickstart 2.x.