Searched defs:dwidth (Results 1 – 2 of 2) sorted by relevance
761 static char *dwidth = "1.957197329044938830915E1"; /* log(sqrt(10^17-1)) */ variable
1309 int nwidth, dwidth; in pr_menu() local