1 files changed, 1 insertions, 0 deletions
diff --git a/B.agda b/B.agda
index d6087d8..3e28f35 100644
--- a/B.agda
+++ b/B.agda
@@ -20,6 +20,7 @@ open import B.Prelude.Eq public
 open import B.Prelude.Functor public
 open import B.Prelude.List public
 open import B.Prelude.Maybe public
+open import B.Prelude.Number public
 open import B.Prelude.Product public
 open import B.Prelude.String public
 open import B.Prelude.Sum public