Validate that the return value of the read is not less than INT_MAX,
then cast.