attached there is a patch fixing some issues regarding rewriting of floats. First, if APFloat::toString yields a string which could be an integer, a trailing point is added. This fixes the rewriting of expressions like "1./3.".
Second the proper suffixes are appended. Maybe someone can add the proper suffix for half-floats too.
float_rewrite.patch (917 Bytes)