Yes, it would work if you implement the schema correctly: among the standard value types there are also counter types. See for example https://automerge.org/docs/types/counters/