Home | History | Annotate | Download | only in texinfo

Lines Matching full:num1

2907 num1    [-+]?@{dig@}+\.?([eE][-+]?@{dig@}+)?
2909 number @{num1@}|@{num2@}