diff --git a/src/unsigned.mli b/src/unsigned.mli
index 12347ed3..c67771f1 100644
--- a/src/unsigned.mli
+++ b/src/unsigned.mli
@@ -136,7 +136,7 @@ module type S = sig
   (** Convert the given string to an unsigned integer. Returns [None] if the
       given string is not a valid representation of an unsigned integer. *)
 
-  val pp : Format.formatter -> t -> unit
+  val pp : Format.formatter -> t -> unit [@@ocaml.toplevel_printer]
   (** Output the result of {!to_string} on a formatter. *)
 
   val pp_hex : Format.formatter -> t -> unit
diff --git a/top/dune b/top/dune
deleted file mode 100644
index a187464b..00000000
--- a/top/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(library
- (name integers_top)
- (public_name integers.top)
- (modes byte)
- (wrapped false)
- (synopsis "toplevel pretty printers")
- (libraries integers compiler-libs))
diff --git a/top/install_integer_printers.ml b/top/install_integer_printers.ml
deleted file mode 100644
index 2b8b3ef8..00000000
--- a/top/install_integer_printers.ml
+++ /dev/null
@@ -1,32 +0,0 @@
-(* Adapted from Anil Madhavapeddy's ocaml-uri package. *)
-
-let _ = Integer_printers.format_sint
-
-let printers = [ "Integer_printers.format_sint";
-                 "Integer_printers.format_long";
-                 "Integer_printers.format_llong";
-                 "Integer_printers.format_uchar";
-                 "Integer_printers.format_uint8";
-                 "Integer_printers.format_uint16";
-                 "Integer_printers.format_uint32";
-                 "Integer_printers.format_uint64";
-                 "Integer_printers.format_ushort";
-                 "Integer_printers.format_uint";
-                 "Integer_printers.format_ulong";
-                 "Integer_printers.format_ullong";]
-
-let eval_string
-      ?(print_outcome = false) ?(err_formatter = Format.err_formatter) str =
-  let lexbuf = Lexing.from_string str in
-  let phrase = !Toploop.parse_toplevel_phrase lexbuf in
-  Toploop.execute_phrase print_outcome err_formatter phrase
-
-let rec install_printers = function
-  | [] -> true
-  | printer :: printers ->
-      let cmd = Printf.sprintf "#install_printer %s;;" printer in
-      eval_string cmd && install_printers printers
-
-let () =
-  if not (install_printers printers) then
-    Format.eprintf "Problem installing integer-printers@."
diff --git a/top/install_integer_printers.mli b/top/install_integer_printers.mli
deleted file mode 100644
index 77719064..00000000
--- a/top/install_integer_printers.mli
+++ /dev/null
@@ -1 +0,0 @@
-(* This file is intentionally left almost blank. *)
diff --git a/top/integer_printers.ml b/top/integer_printers.ml
deleted file mode 100644
index dbdcc551..00000000
--- a/top/integer_printers.ml
+++ /dev/null
@@ -1,31 +0,0 @@
-(*
- * Copyright (c) 2013 Jeremy Yallop.
- *
- * This file is distributed under the terms of the MIT License.
- * See the file LICENSE for details.
- *)
-
-let format_sint fmt v =
-  Format.fprintf fmt "<sint %s>" (Signed.SInt.to_string v)
-let format_long fmt v =
-  Format.fprintf fmt "<long %s>" (Signed.Long.to_string v)
-let format_llong fmt v =
-  Format.fprintf fmt "<llong %s>" (Signed.LLong.to_string v)
-let format_uchar fmt v =
-  Format.fprintf fmt "<uchar %s>" (Unsigned.UChar.to_string v)
-let format_uint8 fmt v =
-  Format.fprintf fmt "<uint8 %s>" (Unsigned.UInt8.to_string v)
-let format_uint16 fmt v =
-  Format.fprintf fmt "<uint16 %s>" (Unsigned.UInt16.to_string v)
-let format_uint32 fmt v =
-  Format.fprintf fmt "<uint32 %s>" (Unsigned.UInt32.to_string v)
-let format_uint64 fmt v =
-  Format.fprintf fmt "<uint64 %s>" (Unsigned.UInt64.to_string v)
-let format_ushort fmt v =
-  Format.fprintf fmt "<ushort %s>" (Unsigned.UShort.to_string v)
-let format_uint fmt v =
-  Format.fprintf fmt "<uint %s>" (Unsigned.UInt.to_string v)
-let format_ulong fmt v =
-  Format.fprintf fmt "<ulong %s>" (Unsigned.ULong.to_string v)
-let format_ullong fmt v =
-  Format.fprintf fmt "<ullong %s>" (Unsigned.ULLong.to_string v)
diff --git a/top/integer_printers.mli b/top/integer_printers.mli
deleted file mode 100644
index fff543de..00000000
--- a/top/integer_printers.mli
+++ /dev/null
@@ -1,21 +0,0 @@
-(*
- * Copyright (c) 2013 Jeremy Yallop.
- *
- * This file is distributed under the terms of the MIT License.
- * See the file LICENSE for details.
- *)
-
-open Format
-
-val format_sint : formatter -> Signed.SInt.t -> unit
-val format_long : formatter -> Signed.Long.t -> unit
-val format_llong : formatter -> Signed.LLong.t -> unit
-val format_uchar : formatter -> Unsigned.UChar.t -> unit
-val format_uint8 : formatter -> Unsigned.UInt8.t -> unit
-val format_uint16 : formatter -> Unsigned.UInt16.t -> unit
-val format_uint32 : formatter -> Unsigned.UInt32.t -> unit
-val format_uint64 : formatter -> Unsigned.UInt64.t -> unit
-val format_ushort : formatter -> Unsigned.UShort.t -> unit
-val format_uint : formatter -> Unsigned.UInt.t -> unit
-val format_ulong : formatter -> Unsigned.ULong.t -> unit
-val format_ullong : formatter -> Unsigned.ULLong.t -> unit