1(* Author: Michael Norrish *)
2
3(* very simple-minded implementation of arbitrary precision natural
4   numbers *)
5
6structure Arbnum :> Arbnum =
7struct
8
9open Arbnumcore;
10
11fun pp_num n = HOLPP.PrettyString (toString n)
12
13local
14   open StringCvt HOLPP
15in
16   fun base_pp_num BIN n = HOLPP.PrettyString ("0b" ^ toBinString n)
17     | base_pp_num OCT n = HOLPP.PrettyString ("0" ^ toOctString n)
18     | base_pp_num DEC n = HOLPP.PrettyString (toString n)
19     | base_pp_num HEX n = HOLPP.PrettyString ("0x" ^ toHexString n)
20end
21
22end
23