s/<NTL_AVOID_FLOAT>/0/
