Fix || problem in fix_convert_double