fix issue 119

solution: the === operator in php checks on type as well. made a cast to int