.080 decimal = ? millimeters