skulle förvandlas till och utbytas mot decimalbråk.