s/<NTL_AVOID_FLOAT>/1/
