Sun Apr 26 15:30:09 +0000 2020 : @matthewdbooth To clarify, if I understand the position properly: an explicit conversion is required as that keeps things, especially the compiler, simple.