introduce fp_no_float_fold flag for frontends which do not query the backends float...