Das glaube ich zwar nicht, habe aber keine Stelle im Sourcecode gefunden, wo explizit ein Flush-to-Zero eingebaut ist.
Das wird auch nicht explizit gemacht, sondern entsteht durch die Multiplikation zweier sehr kleiner Zahlen. Man kann das im Debugger nachvollziehen.