=regcomp_or_die() added
=new function set_of_doubles_to_string()
=...