if n.is_nonnegative: