]> gitweb.factorcode.org Git - factor.git/search
benchmark: print timings with 3 decimal places.