Php string to int. Unable to cast string to int64.