Record number databases no longer fail when created with uint64 key type