[ Peano ] Fix @div@ behaviour