utility: added min_ce() and max_ce().