fix_convert_double: actually never touch the double again