let is_neg x = lt x zero