A line number is a single line range that refers to the line having the
 specified number.  The line number may contain a decimal point.

 Ex: TYPE 10     Display line number 10.

     INSERT 65.3 Insert above line 65.3.

 The maximum allowable line number is 2814749767.  A line number may have
 up to five digits to the right of the decimal point.

 You can change the line number with the RESEQUENCE command.  In
 addition, the INSERT and INCLUDE commands will automatically change the
 numbers of existing lines if necessary to make each line in a buffer to
 have a line number larger than the previous line.

 When lines are read from the primary input file and that file has
 sequence numbers, the line number assigned is the sequence number from
 the file, plus N*100000, where N is large enough to ensure that each
 line in the buffer has a line number larger than the previous line.
 File sequence numbers range in value from 0 to 65535.