Get mangling right for float/double.