One-thousandth part of one inch (U.S. term).