Using better data-types in LevelDB