let of_int: int => int64;
let add: int64 => int64 => int64;
let sub: int64 => int64 => int64;
let mul: int64 => int64 => int64;
let div: int64 => int64 => int64;
let logor: int64 => int64 => int64;
let to_int: int64 => int;
type t = {
hi: int,
lo: int,
};