ISO 4217 also defines the number of significant digits after the decimal separator if Wikipedia is to be believed.