Låtom oss antaga , attdecimal-räkning