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