Finished implementation of GCounter