Wrong result of div

In reply to cgales:

But it returns 4096, not -1.