Texification of double, and doubling of mttf.