fix Integer interface.