Added print_double to native functions.