just, as a workaround, use != 0