Explicity adding core_ext/integer