Version française
Home     About     Download     Resources     Contact us    
Browse thread
Is this OK?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: N Hur <mapnh@m...>
Subject: Is this OK?

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