You can take your numbers and print them out digit by digit, using a loop and the division and modulo operators. This is easy since you know you wont ever print more than 3 or 4 digits. It goes something like this (this is untested):
Code:
// buf is the string to print into, you can pass BotMessage[8] to start printing at the 9th column
// num is the number you want to print
void print_num(char *buf, int num)
{
    int d = 1000;  // this will give 4 spaces/digits per number, add or drop zeros to adjust, and could be a parameter to print_num if you want

    while (d > 0) {
        if num divided by d is more than zero
            print the ASCII digit for num divided by d
        }
        num = num modulo d
        d = d divided by 10
    }
}