Handle integers as exceptions as intended.

I'd hitherto been using IntError as a constructor for exception
values; but I now understand that we really do want to be able to
write

  raise 3