Work around clever compiler in fix_convert_double