Fix possible loss of precision when converting between int and JavaScript integer