diff --git a/hs-tango.cabal b/hs-tango.cabal
--- a/hs-tango.cabal
+++ b/hs-tango.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.6
 name:               hs-tango
-version:            2.0.0
+version:            2.0.1
 synopsis:           Bindings to the Tango Controls system
 description:
   Haskell bindings for Tango, part of the Tango Distributed Control System toolkit. Some general notes about this project:
diff --git a/lib/Tango/Client.hs b/lib/Tango/Client.hs
--- a/lib/Tango/Client.hs
+++ b/lib/Tango/Client.hs
@@ -901,14 +901,15 @@
     (first : rest) -> convertValue attributeData (first NE.:| rest)
     _ -> error $ "couldn't read attribute " <> show attributeName <> ": expected a non-empty value array, but got " <> show arrayElements
 
-readAttributeSimple' ::
+-- | Extracts values from an attribute data, having the possibility to convert them with side-effects
+readAttributeWithIOConversion ::
   (MonadIO m, Show a) =>
   (HaskellTangoAttributeData -> IO (Maybe [a])) ->
   (HaskellAttributeData -> NE.NonEmpty a -> m b) ->
   DeviceProxy ->
   AttributeName ->
   m b
-readAttributeSimple' extractValue convertValue proxy attributeName = do
+readAttributeWithIOConversion extractValue convertValue proxy attributeName = do
   (attributeData, tangoArray) <- readAttributeGeneral (\d -> ((d,) <$>) <$> extractValue (tangoAttributeData d)) proxy attributeName
   case tangoArray of
     (first : rest) -> convertValue attributeData (first NE.:| rest)
@@ -972,21 +973,36 @@
 
 -- | Read an attribute irrespective of the concrete integral type. This just uses 'fromIntegral' internally.
 readIntegralAttribute :: forall m i. (MonadUnliftIO m, Integral i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue i)
-readIntegralAttribute = readAttributeSimple' extractIntegral (convertGenericScalar id)
+readIntegralAttribute = readAttributeWithIOConversion extractIntegral (convertGenericScalar id)
 
 extractIntegral :: (Integral i, MonadUnliftIO m) => HaskellTangoAttributeData -> m (Maybe [i])
 extractIntegral (HaskellAttributeDataLongArray a) = do
   arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
   pure $ Just (fromIntegral <$> arrayElements)
+extractIntegral (HaskellAttributeDataShortArray a) = do
+  arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
+  pure $ Just (fromIntegral <$> arrayElements)
+extractIntegral (HaskellAttributeDataUShortArray a) = do
+  arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
+  pure $ Just (fromIntegral <$> arrayElements)
+extractIntegral (HaskellAttributeDataULongArray a) = do
+  arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
+  pure $ Just (fromIntegral <$> arrayElements)
+extractIntegral (HaskellAttributeDataLong64Array a) = do
+  arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
+  pure $ Just (fromIntegral <$> arrayElements)
+extractIntegral (HaskellAttributeDataULong64Array a) = do
+  arrayElements <- peekArray (fromIntegral (varArrayLength a)) (varArrayValues a)
+  pure $ Just (fromIntegral <$> arrayElements)
 extractIntegral _ = pure Nothing
 
 -- | Read a spectrum attribute irrespective of the concrete integral element type. This just uses 'fromIntegral' internally.
 readIntegralSpectrumAttribute :: (MonadUnliftIO m, Integral i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue [i])
-readIntegralSpectrumAttribute = readAttributeSimple' extractIntegral convertGenericSpectrum'
+readIntegralSpectrumAttribute = readAttributeWithIOConversion extractIntegral convertGenericSpectrum'
 
 -- | Read a spectrum image attribute irrespective of the concrete integral element type. This just uses 'fromIntegral' internally.
 readIntegralImageAttribute :: (MonadUnliftIO m, Integral i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue (Image i))
-readIntegralImageAttribute = readAttributeSimple' extractIntegral convertGenericImage'
+readIntegralImageAttribute = readAttributeWithIOConversion extractIntegral convertGenericImage'
 
 extractReal :: (Fractional i, MonadUnliftIO m) => HaskellTangoAttributeData -> m (Maybe [i])
 extractReal (HaskellAttributeDataDoubleArray a) = do
@@ -999,15 +1015,15 @@
 
 -- | Read an attribute irrespective of the concrete real type. This just uses 'realToFrac' internally.
 readRealAttribute :: forall m i. (MonadUnliftIO m, Fractional i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue i)
-readRealAttribute = readAttributeSimple' extractReal (convertGenericScalar id)
+readRealAttribute = readAttributeWithIOConversion extractReal (convertGenericScalar id)
 
 -- | Read a spectrum attribute irrespective of the concrete real element type. This just uses 'realToFrac' internally.
 readRealSpectrumAttribute :: (MonadUnliftIO m, Fractional i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue [i])
-readRealSpectrumAttribute = readAttributeSimple' extractReal convertGenericSpectrum'
+readRealSpectrumAttribute = readAttributeWithIOConversion extractReal convertGenericSpectrum'
 
 -- | Read a spectrum image attribute irrespective of the concrete integral element type. This just uses 'realToFrac' internally.
 readRealImageAttribute :: (MonadUnliftIO m, Fractional i, Show i) => DeviceProxy -> AttributeName -> m (TangoValue (Image i))
-readRealImageAttribute = readAttributeSimple' extractReal convertGenericImage'
+readRealImageAttribute = readAttributeWithIOConversion extractReal convertGenericImage'
 
 extractBool :: HaskellTangoAttributeData -> Maybe (HaskellTangoVarArray CBool)
 extractBool (HaskellAttributeDataBoolArray a) = Just a