accept "pltime infty" and "vltime infty".  always print vltime/pltime with -L. XXX "vltime 0" is a bug.
accept "pltime infty" and "vltime infty".  always print vltime/pltime with -L.
XXX "vltime 0" is a bug.

MarginC/kame,MarginC/kame,MarginC/kame,MarginC/kame,MarginC/kame,MarginC/kame,MarginC/kame