See ldiv.html