let is_pos x = gt x zero