String_ext.not_an_int