Hi Harald,
*ping*
I don't really know about the convert vs. fold_convert issue either, but if it works, it works. Regarding the patch: Could you change the test caes into a run-time test and check for the results both for compile-time simplification and evaluation at run-time? Just to make sure that fold_convert wasn't trying to tell us something that convert doesn't... OK with that change. Thanks for the patch! Best regards Thomas