Endliche und unendliche „Dezimal``brüche

• Darstellug von Zahlen in [0...1)

  mit Basis 1/B und Ziffern ∈{0...B - 1}

• Bsp: B = 10, 0.314 = 0⋅B⁰ +3⋅B^-1 +1⋅B^-2 +4⋅B^-3
• hier sind auch unendliche Ziffernfolgen sinnvoll,

  bezeichnet Limes der Werte der endlichen Partialfolgen

• Konversion

  decimal :: Rational -> [ Nat ]
  decimal x = let q = truncate (fromRational x) 
              in  q : decimal (10 * (x-q))
  

  Anwendung: vorige Näherung von $\sqrt{2}$