Home | History | Annotate | Download | only in texinfo

Lines Matching full:num1

2454      num1    [-+]?{dig}+\.?([eE][-+]?{dig}+)?
2456      number  {num1}|{num2}