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