BUG-7783: increase precision of execution times