sext (ITFixed IT64) out [B64 x] = Just $ toInt out (fromIntegral x :: Int64)
sext (ITFixed IT64) out [B64 x] = Just $ toInt out (fromIntegral x :: Int64)
sext (ITFixed IT64) out [B64 x] = Just $ toInt out (fromIntegral x :: Int64)