(module Js_int)