implementation of IsPositive