Use Integer instead of int, deprecate object.[ch]