INF, -INF, 0+, 0- implemented