let is_nonneg x = ge x zero