#include "int64type.h"
#include <stdio.h>

char* toString(int64type pNum) {
  static char theBuf[256];
  sprintf(theBuf, int64fmtspec, pNum);
  return theBuf;
}

char* toString(uint64type pNum) {
  static char theBuf[256];
  sprintf(theBuf, uint64fmtspec, pNum);
  return theBuf;
}