monkeyking/IPython/html/static/notebook/js/widgets/int.js

require(["notebook/js/widget"], function(){
    var IntWidgetModel = IPython.WidgetModel.extend({});
    IPython.notebook.widget_manager.register_widget_model('IntWidgetModel', IntWidgetModel);
});