Allgemein / kaufmännisch wird bis 5 abgerundet - also 31,7 mm.
Ääääh... nein.
http://de.wikipedia.org/wiki/Rundung#Kaufm.C3.A4nnisches_RundenKaufmännisch wird bei 5 immer aufgerundet. Mathemaitsch ist das Runder bei 5 eine kompliziertere Fallunterscheidung.