hard/FollowingInteger initial checkin (with test files)