As a work-around, I'm copy-pasting all lines in OpenOffice.org (using Paste Special, specify CSV formatted), then creating three computed cells: two sums (number of instructions, covered), and a division of the two sums, formatted as percentage.