diff --git a/src/Core/Primitives.idr b/src/Core/Primitives.idr
index eba4a73fd..1a6de9dec 100644
--- a/src/Core/Primitives.idr
+++ b/src/Core/Primitives.idr
@@ -308,6 +308,7 @@ shiftr (I8 x) (I8 y) = pure $ I8 (prim__shr_Int8 x y)
 shiftr (I16 x) (I16 y) = pure $ I16 (prim__shr_Int16 x y)
 shiftr (I32 x) (I32 y) = pure $ I32 (prim__shr_Int32 x y)
 shiftr (I64 x) (I64 y) = pure $ I64 (prim__shr_Int64 x y)
+shiftr (BI x) (BI y) = pure $ BI (prim__shr_Integer x y)
 shiftr (B8 x) (B8 y) = pure $ B8 $ (prim__shr_Bits8 x y)
 shiftr (B16 x) (B16 y) = pure $ B16 (prim__shr_Bits16 x y)
 shiftr (B32 x) (B32 y) = pure $ B32 (prim__shr_Bits32 x y)