let one_term () = Cil.lconstant My_bigint.one