exs64l.erl: use uint64() for representing internal state