Gabriel Dos Reis wrote: >Many thanks. (I may have some time tonight, so I'll into that in case we >already have the built-ins). > > Unfortunately, I'm pretty sure we don't have the builtins. We have some infrastructure, indeed, already used by __builtin_pow for constant power, but we don't have the actual builtins. Paolo.