Increase `num` dependency.
Update to d9c7c00b9 2014-12-04 21:33:07 +0000.