Add FLOAT_RE