let of_int64 i = if compute then AIcnst i else AIterm (term_of_cnst i)