Handle integer keys in Record