Provided by: ocaml-nox_4.02.3-5ubuntu2_amd64

**NAME**

Int64 - 64-bit integers.

**Module**

Module Int64

**Documentation**

ModuleInt64:sigend64-bit integers. This module provides operations on the typeint64of signed 64-bit integers. Unlike the built-ininttype, the typeint64is guaranteed to be exactly 64-bit wide on all platforms. All arithmetic operations overint64are taken modulo 2^{64 Performance notice: values of typeint64occupy more memory space than values of typeint, and arithmetic operations onint64are generally slower than those onint. Useint64only when the application requires exact 64-bit arithmetic.valzero:int64The 64-bit integer 0.valone:int64The 64-bit integer 1.valminus_one:int64The 64-bit integer -1.valneg:int64->int64Unary negation.valadd:int64->int64->int64Addition.valsub:int64->int64->int64Subtraction.valmul:int64->int64->int64Multiplication.valdiv:int64->int64->int64Integer division. RaiseDivision_by_zeroif the second argument is zero. This division rounds the real quotient of its arguments towards zero, as specified forPervasives.(/).valrem:int64->int64->int64Integer remainder. Ifyis not zero, the result ofInt64.remxysatisfies the following property:x=Int64.add(Int64.mul(Int64.divxy)y)(Int64.remxy). Ify=0,Int64.remxyraisesDivision_by_zero.valsucc:int64->int64Successor.Int64.succxisInt64.addxInt64.one.valpred:int64->int64Predecessor.Int64.predxisInt64.subxInt64.one.valabs:int64->int64Return the absolute value of its argument.valmax_int:int64The greatest representable 64-bit integer, 2^{63 - 1.valmin_int:int64The smallest representable 64-bit integer, -2^{63.vallogand:int64->int64->int64Bitwise logical and.vallogor:int64->int64->int64Bitwise logical or.vallogxor:int64->int64->int64Bitwise logical exclusive or.vallognot:int64->int64Bitwise logical negationvalshift_left:int64->int->int64Int64.shift_leftxyshiftsxto the left byybits. The result is unspecified ify<0ory>=64.valshift_right:int64->int->int64Int64.shift_rightxyshiftsxto the right byybits. This is an arithmetic shift: the sign bit ofxis replicated and inserted in the vacated bits. The result is unspecified ify<0ory>=64.valshift_right_logical:int64->int->int64Int64.shift_right_logicalxyshiftsxto the right byybits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign ofx. The result is unspecified ify<0ory>=64.valof_int:int->int64Convert the given integer (typeint) to a 64-bit integer (typeint64).valto_int:int64->intConvert the given 64-bit integer (typeint64) to an integer (typeint). On 64-bit platforms, the 64-bit integer is taken modulo 2^{63, i.e. the high-order bit is lost during the conversion. On 32-bit platforms, the 64-bit integer is taken modulo 2^{31, i.e. the top 33 bits are lost during the conversion.valof_float:float->int64Convert the given floating-point number to a 64-bit integer, discarding the fractional part (truncate towards 0). The result of the conversion is undefined if, after truncation, the number is outside the range [Int64.min_int,Int64.max_int].valto_float:int64->floatConvert the given 64-bit integer to a floating-point number.valof_int32:int32->int64Convert the given 32-bit integer (typeint32) to a 64-bit integer (typeint64).valto_int32:int64->int32Convert the given 64-bit integer (typeint64) to a 32-bit integer (typeint32). The 64-bit integer is taken modulo 2^{32, i.e. the top 32 bits are lost during the conversion.valof_nativeint:nativeint->int64Convert the given native integer (typenativeint) to a 64-bit integer (typeint64).valto_nativeint:int64->nativeintConvert the given 64-bit integer (typeint64) to a native integer. On 32-bit platforms, the 64-bit integer is taken modulo 2^{32. On 64-bit platforms, the conversion is exact.valof_string:string->int64Convert the given string to a 64-bit integer. The string is read in decimal (by default) or in hexadecimal, octal or binary if the string begins with0x,0oor0brespectively. RaiseFailureint_of_stringif the given string is not a valid representation of an integer, or if the integer represented exceeds the range of integers representable in typeint64.valto_string:int64->stringReturn the string representation of its argument, in decimal.valbits_of_float:float->int64Return the internal representation of the given float according to the IEEE 754 floating-point 'double format' bit layout. Bit 63 of the result represents the sign of the float; bits 62 to 52 represent the (biased) exponent; bits 51 to 0 represent the mantissa.valfloat_of_bits:int64->floatReturn the floating-point number whose internal representation, according to the IEEE 754 floating-point 'double format' bit layout, is the givenint64.typet=int64An alias for the type of 64-bit integers.valcompare:t->t->intThe comparison function for 64-bit integers, with the same specification asPervasives.compare. Along with the typet, this functioncompareallows the moduleInt64to be passed as argument to the functorsSet.MakeandMap.Make.===Deprecatedfunctions===valformat:string->int64->stringDo not use this deprecated function. Instead, usedPrintf.sprintfwith a%L...format.