#endif
}
+static inline char *
+big_num(int64 num)
+{
+ return do_big_num(num, 0, NULL);
+}
+
+static inline char *
+comma_num(int64 num)
+{
+ extern int human_readable;
+ return do_big_num(num, human_readable != 0, NULL);
+}
+
+static inline char *
+human_num(int64 num)
+{
+ extern int human_readable;
+ return do_big_num(num, human_readable, NULL);
+}
+
+static inline char *
+big_dnum(double dnum, int decimal_digits)
+{
+ return do_big_dnum(dnum, 0, decimal_digits);
+}
+
+static inline char *
+comma_dnum(double dnum, int decimal_digits)
+{
+ extern int human_readable;
+ return do_big_dnum(dnum, human_readable != 0, decimal_digits);
+}
+
+static inline char *
+human_dnum(double dnum, int decimal_digits)
+{
+ extern int human_readable;
+ return do_big_dnum(dnum, human_readable, decimal_digits);
+}
+
static inline int
isDigit(const char *ptr)
{