s/SET_NTL_AVOID_FLOAT/0/
