benchmark

edeb0870 - fix lazy_bench.py precision option