ixset-typed-conversions