s/SET_NTL_AVOID_FLOAT/1/
