diff --git a/stdlib/nat.rkt b/stdlib/nat.rkt
index d7f6b90..0a889c7 100644
--- a/stdlib/nat.rkt
+++ b/stdlib/nat.rkt
@@ -2,7 +2,7 @@
 (require "sugar.rkt" "bool.rkt")
 ;; TODO: override (all-defined-out) to enable exporting all these
 ;; properly.
-(provide Nat z s add1 sub1 plus nat-equal? even? odd?)
+(provide Nat z s add1 sub1 plus mult exp square nat-equal? even? odd?)
 (module+ test
   (require rackunit))