Prelude: obsoleting is_integer
Prelude: changelog "Prelude.is_integer() -> Prelude.is_number(). Just renamed."