Can the number of pixels per second estimate be changed to a floating point
number with at least three digits past the decimal point, instead of an
integer. I am referring to the Windows GUI version when I say this and for
very slow renders it would be very helpful to see more information than 0
Pixels Per Second for the current line.