use numeric operators