Fixed timer cast-to-int crash causing incorrect benchmark.
Merge pull request #1953 from akarnokd/OperatorSerializePerfFix

Fixed timer cast-to-int crash causing incorrect benchmark.