Module Integers_stubs_js