Set `ambiwidth` option to `double`