From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA11814 for caml-redistribution; Mon, 18 May 1998 19:48:37 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA12231 for <caml-list@pauillac.inria.fr>; Mon, 18 May 1998 15:59:45 +0200 (MET DST)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id PAA29550
	for <caml-list@inria.fr>; Mon, 18 May 1998 15:59:42 +0200 (MET DST)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id PAA11472 for caml-list@inria.fr; Mon, 18 May 1998 15:59:42 +0200
Date: Mon, 18 May 1998 15:59:42 +0200
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199805181359.PAA11472@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re: Is this OK?
Sender: weis


>From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>

>But in the case of Caml division, the  specification is different: the
>remainder has the same sign that a, which is negative in your example.

This is not quite true.  In the case of integer division in Caml Light,
the result is unspecified when either argument is negative.  This is
clearly stated in the documentation.

-- Damien