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 SAA18441 for caml-redistribution; Sun, 17 May 1998 18:57:00 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA02669 for <caml-list@pauillac.inria.fr>; Fri, 15 May 1998 15:02:36 +0200 (MET DST)
Received: from wallace.maths.bath.ac.uk (exim@wallace.maths.bath.ac.uk [138.38.100.104])
	by nez-perce.inria.fr (8.8.7/8.8.5) with SMTP id PAA00449
	for <caml-list@inria.fr>; Fri, 15 May 1998 15:02:32 +0200 (MET DST)
Received: from thor.maths.bath.ac.uk (maths.Bath.AC.UK) [138.38.100.21] (mmdf)
	by wallace.maths.bath.ac.uk with smtp (Exim 1.82 #1)
	id 0yaK81-00034S-00; Fri, 15 May 1998 14:02:25 +0100
Date: Fri, 15 May 1998 14:02:24 +0100 (BST)
From: N Hur <mapnh@maths.bath.ac.uk>
To: caml-list@inria.fr
Subject: Is this OK?
Message-ID: <Pine.SUN.3.91.980515135653.27393A-100000@thor.maths.bath.ac.uk>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis


Sorry for no French.

Why are the two answers below different?

(* a camllight session *)

#(-234)/4
;;
- : int = -58


#div_big_int (big_int_of_string "-234") (big_int_of_string "4");;
- : big_int = -59


(*	end	*)

Thanks for advance for any explanation.

Namhyun Hur