let nativeint_to_int64 = Int64.of_nativeint