Total neutron cross section of Teflon between 0.00038 and 590 eV