let
buildInteger (loc, s) =
CfParser
.
INTEGER
(loc,
Intbig
.intbig_of_string s)