So, to code a real number in n positions, we can, for example, define a comma after the K least significant
digits,