fix #788, type of `Integer.plus`