Prelude: good-bye, is_integer(). It has been obsolete for 6 months.
Prelude: changelog