On 2012-10-02 16:08, Serge D. Mechveliani wrote: > 1. Having a string like "103" : String, > what is the simplest way to convert it to Nat (unary natural) ? I believe that Frederic Kettelhoit's prelude contains such a function. -- /NAD