Added test for print_double2string