move NEG_INF and POS_INF to extra class