sprintf(ch, "(%f)", a);
char width[100]; char height[100];  if (a.width == NS_INTRINSICSIZE) sprintf(width,"%s","INF"); else sprintf(width,"%d", nscoord(a.width/mP2t));  if (a.height == NS_INTRINSICSIZE) sprintf(height,"%s","INF"); else sprintf(height,"%d", nscoord(a.height/mP2t));   sprintf(ch, "(%s%s, %s%s)", width, (b.width != NS_INTRINSICSIZE ? "[CSS]" : ""), height, (b.height != NS_INTRINSICSIZE ? "[CSS]" : ""));
nsBoxDebugInner::GetValue(float a, float b, char* ch) {    sprintf(ch, "(%f)", a);             }