Post #1528491

@tezoatlipoca @ori @neauoire 1/1000th of an inch is also sometimes called a "mil" which is a smidge confusing if you're used to a "millimeter" being called a "mil". 1/10000th of an inch is sometimes called a "tenth". Also there's an angular unit called a "milliradian" which is 1/1000th of a radian and is also called a "mil".