/* Char = 8 bits, unsigned */
/* Maximum short = 32767 (= 2**15-1) */
/* Maximum int = 2147483647 (= 2**31-1) */
/* Maximum long = 2147483647 (= 2**31-1) */
/* Alignments for char=3 short=2 int=4 long=4 */
/* Char pointers = 32 bits */
/* Int pointers = 32 bits */

/* Properties of float: */
/* Base = 2 */
/* Significant base digits = 24 (= at least 7 decimal digits) */
/* Smallest x such that 1.0-base**x != 1.0 = -24 */
/* Small x such that 1.0-x != 1.0 = 5.96046e-08 */
/* Smallest x such that 1.0+base**x != 1.0 = -23 */
/* Smallest x such that 1.0+x != 1.0 = 1.19209e-07 */
/* Arithmetic chops but uses guard digits */
/* Number of bits used for exponent = 1 */
/* Minimum normalised exponent = 0 */
/* Minimum normalised positive number = 0.5 */
/* The smallest numbers are not kept normalised */
/* Smallest unnormalised positive number = 0.25 */
/* Maximum exponent = 2 */
/* Maximum number = 4 */
/* Something fishy here! Exponent size + mantissa size doesn't match with the size of a float */

/* Properties of double: */
/* Base = 2 */
/* Significant base digits = 53 (= at least 15 decimal digits) */
/* Smallest x such that 1.0-base**x != 1.0 = -53 */
/* Small x such that 1.0-x != 1.0 = 1.11022e-16 */
/* Smallest x such that 1.0+base**x != 1.0 = -52 */
/* Smallest x such that 1.0+x != 1.0 = 2.22045e-16 */
/* Arithmetic chops but uses guard digits */
/* Number of bits used for exponent = 12 */
/* Minimum normalised exponent = -1073 */
/* Minimum normalised positive number = 1.11254e-308 */
/* The smallest numbers are normalised */
/* Maximum exponent = 1024 */
/* Maximum number = 1.79769e+308 */
/* Something fishy here! Exponent size + mantissa size doesn't match with the size of a double */

/* Expressions are evaluated in double precision */ 

/* Memory mallocatable ~= 3362 Kbytes */
