mer än 13 decimaltum ( = 16 werkt .)