If the
source type is bool, the value false is converted to
zero and the value true is converted to one.

Otherwise, the result is the unique value of the destination type
that is congruent to the source integer modulo ,
where N is the width of the destination type.