nadarei/mina — pull request #133 by alloy-d (2013-08-07 23:04:42+00:00)
Title: Use consistent precision for time measurements.

Time measurement output reports hundredths of a second, but the actual measurement is converted to an integer.

This removes the integer conversion and also updates related documentation to be consistent with the code.