Php 7 cast string to int