* rs6000-tdep.c (rs6000_extract_return_value): When extracting a float,