[2024/06/30] Decimal expansion for real numbers