From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 86AADBC57 for ; Wed, 15 Dec 2010 21:13:00 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4EACewCE2M9xyZi2dsb2JhbACWA45CAQEBCgsKGCS7IIhnhUoEhGSGF4MW X-IronPort-AV: E=Sophos;i="4.59,350,1288566000"; d="scan'208";a="82845230" Received: from math.harvard.edu (HELO abel.math.harvard.edu) ([140.247.28.153]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Dec 2010 21:13:00 +0100 Received: from [192.168.1.105] (209-6-46-119.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com [209.6.46.119]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by abel.math.harvard.edu (Postfix) with ESMTP id 7393BA6C0 for ; Wed, 15 Dec 2010 15:12:58 -0500 (EST) Subject: question about Num From: Nicolas Ojeda Bar Content-Type: text/plain; charset=us-ascii Message-Id: Date: Wed, 15 Dec 2010 15:12:57 -0500 To: caml-list@yquem.inria.fr Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Spam: no; 0.00; functions:01 int:01 int:01 represented:02 module:03 nicolas:08 question:13 edu:15 thanks:17 hello:17 then:17 bar:19 num:19 num:19 optimal:19 Hello, Do you know if the functions in the Num module always return the most optimal representation for a Num.num ? That is if it can be represented as an int, then it will return a Num.Int, and so forth? Thanks! N