add uint64 getters
bugfix