12 uint64
uint64_div10(uint64 x
, int *remainder
);
13 void uint64_decimal(uint64 x
, char *buffer
);
14 uint64
uint64_make(unsigned long hi
, unsigned long lo
);
15 uint64
uint64_add(uint64 x
, uint64 y
);
16 uint64
uint64_add32(uint64 x
, unsigned long y
);
17 int uint64_compare(uint64 x
, uint64 y
);
18 uint64
uint64_subtract(uint64 x
, uint64 y
);
19 double uint64_to_double(uint64 x
);
20 uint64
uint64_shift_right(uint64 x
, int shift
);
21 uint64
uint64_shift_left(uint64 x
, int shift
);
22 uint64
uint64_from_decimal(char *str
);