Ensure subtraction 4 requires borrowing

Reviewers: eater

Reviewed By: eater

Differential Revision: http://phabricator.khanacademy.org/D7200