ADDED: fast division with the Burnikel-Ziegler algorithm