Prelude: more documented: doc for is_integer/is_number