sprintf(buf, "%d", num);
sbprintf(buf, 20, "%d", num);
void Paint_num	(	Game_window *gwin,	int num,	int x,				// Coord. of right edge of #.	int y				// Coord. of top of #.	){	const int font = 2;	char buf[20];  	sprintf(buf, "%d", num);	gwin->paint_text(font, buf, x - gwin->get_text_width(font, buf), y);}