Introduce status_flags::{is_positive,is_negative,purely_indefinite}