Add JSValue.Int for convenience.