let is_topint v = equal top_int v