Code

Fix bug #1344584: Counter64 values not handled correctly