Paolo Carlini <pcarlini@suse.de> writes: | Indeed, this is what I mean: we badly need those builtins. I'll check, | and, in case | there isn't a corresponding PR, will open one (CC you and Roger ;) Many thanks. (I may have some time tonight, so I'll into that in case we already have the built-ins). -- Gaby