ここで、を符号関数とし、の進法表記の後にを付け(これを小数点と呼ぶ)、数字を列記してできる表記、即ち