janmr blog

Continued Fractions and Continuants

We will be considering continued fractions of the form

a0+1a1+1+1an1+1ana_0 + \displaystyle\frac{1}{a_1 + \displaystyle\frac{1}{\ddots + \displaystyle\frac{1}{a_{n-1} + \displaystyle\frac{1}{a_n}}}}

where the aka_k's are real numbers called the partial quotients. Continued fractions can be greatly generalized, where both the “numerators” (here all equal to one) and the partial quotients can be more general mathematical objects. Most common, however, are regular continued fractions where a0a_0 is an integer and a1,,ana_1, \ldots, a_n are positive integers. For easier notation we introduce

/ ⁣/a1,a2,,an/ ⁣/=1a1+1+1an1+1an/\!/a_1, a_2, \ldots, a_n/\!/ = \displaystyle\frac{1}{a_1 + \displaystyle\frac{1}{\ddots + \displaystyle\frac{1}{a_{n-1} + \displaystyle\frac{1}{a_n}}}}

where / ⁣// ⁣/=0/\!/ \, /\!/ = 0 for n=0n=0.

Most of the theory in this article is based on Section 4.5.3 from The Art of Computer Programming, Volume 2, by Donald E. Knuth and Section 6.7 from Concrete Mathematics by Graham, Knuth, and Patashnik. See also Continued Fractions by Aleksandr Ya. Khinchin.

Basic Properties

Some properties suggest themselves immediately from the definition:

(1)

/ ⁣/a1,a2,,an/ ⁣/=1/(a1+/ ⁣/a2,,an/ ⁣/),n1,/\!/ a_1, a_2, \ldots, a_n /\!/ = 1 / \left( a_1 + /\!/ a_2, \ldots, a_n /\!/ \right), \quad n \geq 1,

(2)

/ ⁣/a1,,an/ ⁣/=/ ⁣/a1,,ak+/ ⁣/ak+1,,an/ ⁣// ⁣/,1kn,/\!/ a_1, \ldots, a_n /\!/ = /\!/ a_1, \ldots, a_k + /\!/ a_{k+1}, \ldots, a_n /\!/ /\!/, \quad 1 \leq k \leq n,

(3)

/ ⁣/0,a1,,an/ ⁣/=a1+/ ⁣/a2,,an/ ⁣/,n1,/\!/ 0, a_1, \ldots, a_n /\!/ = a_1 + /\!/ a_2, \ldots, a_n /\!/, \quad n \geq 1,

(4)

/ ⁣/a1,,an1,an,1/ ⁣/=/ ⁣/a1,,an1,an+1/ ⁣/,n1./\!/ a_1, \ldots, a_{n-1}, a_n, 1 /\!/ = /\!/ a_1, \ldots, a_{n-1}, a_n + 1 /\!/, \quad n \geq 1.

The relations (2) and (3) can be combined into the following,

(5)

/ ⁣/a1,,ak1,ak,0,ak+1,ak+2,,an/ ⁣/=/ ⁣/a1,,ak1,ak+ak+1,ak+2,,an/ ⁣/,1k<n.\begin{aligned} &/\!/ a_1, \ldots, a_{k-1}, a_k, 0, a_{k+1}, a_{k+2}, \ldots, a_n /\!/ \\ & \qquad = /\!/ a_1, \ldots, a_{k-1}, a_k + a_{k+1}, a_{k+2}, \ldots, a_n /\!/, \quad 1 \leq k < n. \end{aligned}

From (3), (4), and (5) we see that any continued fraction can be written without a zero element (the first partial quotient a0a_0 may be zero, though) and without the last element being equal to one. For instance,

/ ⁣/0,4,3,0,2,1/ ⁣/=4+/ ⁣/3,0,2,1/ ⁣/=4+/ ⁣/5,1/ ⁣/=4+/ ⁣/6/ ⁣/./\!/ 0,4,3,0,2,1 /\!/ = 4 + /\!/ 3,0,2,1 /\!/ = 4 + /\!/ 5,1 /\!/ = 4 + /\!/ 6 /\!/.

Continuants

We now turn to continuant polynomials or simply continuants. They are defined as

  • K0()=1K_0() = 1,
  • K1(x1)=x1K_1(x_1) = x_1,
  • Kn(x1,,xn)=Kn1(x1,,xn1)xn+Kn2(x1,,xn2)K_n(x_1, \ldots, x_n) = K_{n-1}(x_1, \ldots, x_{n-1}) x_n + K_{n-2}(x_1, \ldots, x_{n-2}) for n2n \geq 2.

The subscripts are included to make clear how many parameters there are. Note how

(6)

Fn+1=Kn(1,,1),F_{n+1} = K_n(1, \ldots, 1),

where F0,F1,F_0, F_1, \ldots are the well-known Fibonacci numbers (F0=F1=0F_0=F_1=0 and Fk=Fk1+Fk2F_k=F_{k-1}+F_{k-2} for k2k \geq 2). This is easily seen by setting xk=1x_k=1 for all kk in the definition.

We also have

(7)

Kn(x1,,xn)K(y1,,yn),when xkyk,K_n(x_1, \ldots, x_n) \geq K(y_1, \ldots, y_n), \quad \text{when } x_k \geq y_k,

which can be shown straightforwardly by induction. We will use this fact later on.

Continuants are connected to continued fractions in several ways, an essential one being

(8)

a0+/ ⁣/a1,a2,,an/ ⁣/=Kn+1(a0,a1,,an)Kn(a1,a2,,an).a_0 + /\!/ a_1, a_2, \ldots, a_n /\!/ = \frac{K_{n+1}(a_0, a_1, \ldots, a_n)}{K_n(a_1, a_2, \ldots, a_n)}.

To prove this identity, we need

(9)

Kn(x1,,xn1,xn+y)=Kn1(x1,,xn1)(xn+y)+Kn2(x1,,xn2)=Kn1(x1,,xn1)xn+Kn1(x1,,xn1)y+Kn2(x1,,xn2)=Kn(x1,,xn1,xn)+Kn1(x1,,xn1)y.\begin{aligned} K_n(x_1, \ldots, x_{n-1}, x_n + y) &= K_{n-1}(x_1, \ldots, x_{n-1}) (x_n + y) + K_{n-2}(x_1, \ldots, x_{n-2}) \\ &= K_{n-1}(x_1, \ldots, x_{n-1}) x_n + K_{n-1}(x_1, \ldots, x_{n-1}) y + K_{n-2}(x_1, \ldots, x_{n-2}) \\ &= K_n(x_1, \ldots, x_{n-1}, x_n) + K_{n-1}(x_1, \ldots, x_{n-1}) y. \\ \end{aligned}

We can now proceed with proving (8), which we show by induction. First we observe that it is true for n=0n=0 and n=1n=1,

a0=K1(a0)K0(),a0+/ ⁣/a1/ ⁣/=K2(a0,a1)K1(a1)=a0a1+1a1.a_0 = \frac{K_1(a_0)}{K_0()}, \quad a_0 + /\!/ a_1 /\!/ = \frac{K_2(a_0, a_1)}{K_1(a_1)} = \frac{a_0 a_1 + 1}{a_1}.

We now get

a0+/ ⁣/a1,,an,an+1/ ⁣/=a0+/ ⁣/a1,,an1,an+1/an+1/ ⁣/=Kn+1(a0,,an1,an+1/an+1)Kn(a1,,an1,an+1/an+1)=Kn+1(a0,a1,,an)+Kn(a0,a1,,an1)/an+1Kn(a1,a2,,an)+Kn1(a1,a2,,an1)/an+1=Kn+1(a0,a1,,an)an+1+Kn(a0,a1,,an1)Kn(a1,a2,,an)an+1+Kn1(a1,a2,,an1)=Kn+2(a0,,an,an+1)Kn+1(a1,,an,an+1),\begin{aligned} a_0 + /\!/ a_1, \ldots, a_n, a_{n+1} /\!/ &= a_0 + /\!/ a_1, \ldots, a_{n-1}, a_n + 1/a_{n+1} /\!/ \\ &= \frac{K_{n+1}(a_0, \ldots, a_{n-1}, a_n + 1/a_{n+1})}{K_n(a_1, \ldots, a_{n-1}, a_n + 1/a_{n+1})} \\ &= \frac{K_{n+1}(a_0, a_1, \ldots, a_n) + K_n(a_0, a_1, \ldots, a_{n-1})/a_{n+1}}{K_n(a_1, a_2, \ldots, a_n) + K_{n-1}(a_1, a_2, \ldots, a_{n-1})/a_{n+1}} \\ &= \frac{K_{n+1}(a_0, a_1, \ldots, a_n) a_{n+1} + K_n(a_0, a_1, \ldots, a_{n-1})}{K_n(a_1, a_2, \ldots, a_n) a_{n+1} + K_{n-1}(a_1, a_2, \ldots, a_{n-1})} \\ &= \frac{K_{n+2}(a_0, \ldots, a_n, a_{n+1})}{K_{n+1}(a_1, \ldots, a_n, a_{n+1})}, \end{aligned}

which was what we wanted.

A useful equality for continuants is

(10)

[Kn(x1,,xn)Kn1(x1,,xn1)Kn1(x2,,xn)Kn2(x2,,xn1)]=[x1110][x2110][xn110]\left[ \begin{matrix} K_n(x_1, \ldots, x_n) & K_{n-1}(x_1, \ldots, x_{n-1}) \\ K_{n-1}(x_2, \ldots, x_n) & K_{n-2}(x_2, \ldots, x_{n-1}) \end{matrix} \right] = \left[ \begin{matrix} x_1 & 1 \\ 1 & 0 \end{matrix} \right] \left[ \begin{matrix} x_2 & 1 \\ 1 & 0 \end{matrix} \right] \cdots \left[ \begin{matrix} x_n & 1 \\ 1 & 0 \end{matrix} \right]

for n2n \geq 2. For n=2n=2 we have

[K2(x1,x2)K1(x1)K1(x2)K0()]=[x1x2+1x1x21]=[x1110][x2110],\left[ \begin{matrix} K_2(x_1, x_2) & K_1(x_1) \\ K_1(x_2) & K_0() \end{matrix} \right] = \left[ \begin{matrix} x_1 x_2 + 1 & x_1 \\ x_2 & 1 \end{matrix} \right] = \left[ \begin{matrix} x_1 & 1 \\ 1 & 0 \end{matrix} \right] \left[ \begin{matrix} x_2 & 1 \\ 1 & 0 \end{matrix} \right],

and the general case is easily shown using induction. Taking the determinant of both sides of (10) leads to

(11)

Kn(x1,,xn)Kn2(x2,,xn1)Kn1(x2,,xn)Kn1(x1,,xn1)=(1)n.K_n(x_1, \ldots, x_n) K_{n-2}(x_2, \ldots, x_{n-1}) - K_{n-1}(x_2, \ldots, x_n) K_{n-1}(x_1, \ldots, x_{n-1}) = (-1)^n.

This shows that when u=Kn+1(a0,a1,,an)u = K_{n+1}(a_0, a_1, \ldots, a_n) and v=Kn(a1,a2,,an)v = K_n(a_1, a_2, \ldots, a_n) then not only is u/v=a0+/ ⁣/a1,a2,,an/ ⁣/u/v = a_0 + /\!/ a_1, a_2, \ldots, a_n /\!/, but uu and vv are also relatively prime.

Evaluating Continued Fractions

Let us consider how to evaluate a continued fraction in C++, given access to the partial quotients a0,a1,,ana_0, a_1, \ldots, a_n through a forward iterator. One way is to use Equation (1) which leads to

template <typename NUM, typename In>
NUM evaluate_continued_fraction_rec(In first, In last)
{
  if (first == last) return (NUM) 0;
  return *first + evaluate_continued_fraction_rec2<NUM>(first+1, last);
}

where / ⁣/a1,a2,,an/ ⁣//\!/ a_1, a_2, \ldots, a_n /\!/ is evaluated recursively by

template <typename NUM, typename In>
NUM evaluate_continued_fraction_rec2(In first, In last)
{
  if (first == last) return (NUM) 0;
  return 1/(*first + evaluate_continued_fraction_rec2<NUM>(first+1, last));
}

A drawback to this approach is the recursive calls. Another way to evaluate is to use a special case of Equation (2),

(12)

/ ⁣/a1,,an1,an/ ⁣/=/ ⁣/a1,,an1+1/an/ ⁣/,for n2./\!/ a_1, \ldots, a_{n-1}, a_n /\!/ = /\!/ a_1, \ldots, a_{n-1} + 1/a_n /\!/, \quad \text{for } n \geq 2.

So given a bidirectional iterator the evaluation can be done as

template <typename NUM, typename Bi>
NUM evaluate_continued_fraction_rev(Bi first, Bi last)
{
  if (last == first) return (NUM) 0;
  NUM r = 0;
  while (--last != first)
    r = 1/(*last + r);
  return *last + r;
}

Using continuants, we can actually evaluate a continued fraction using a forward iterator and without any recursive calls. The key is to use the relation (8) which leads to the following algorithm.

template <typename NUM, typename In>
void evaluate_continued_fraction(In first, In last, NUM& num, NUM& den)
{
  if (first == last) { num = 0; den = 1; return; }
  NUM x, u = *first, v = 1, s = 1, t = 0;
  while (true) {
    if (++first == last) { num = u; den = v; return; }
    x = *first;
    s += x*u;
    t += x*v;
    if (++first == last) { num = s; den = t; return; }
    x = *first;
    u += x*s;
    v += x*t;
  }
}

Note how the result is seperated into numerator and denominator. Recall from the previous section that the corresponding fraction is guaranteed to be at its lowest terms.

Constructing a Continued Fraction

Let xx be a real number. Consider now the following sequences:

a0=x,x0=xa0,ak+1=1/xk,xk+1=1/xkak+1,\begin{aligned} a_0 = \lfloor x \rfloor, \qquad &x_0 = x - a_0, \\ a_{k+1} = \lfloor 1/x_k \rfloor, \qquad &x_{k+1} = 1/x_k - a_{k+1}, \end{aligned}

for k=0,1,k = 0, 1, \ldots. We then have

x=a0+x0=a0+1a1+x1=a0+1a1+1a2+x2=.x = a_0 + x_0 = a_0 + \frac{1}{a_1 + x_1} = a_0 + \frac{1}{a_1 + \displaystyle\frac{1}{a_2 + x_2}} = \ldots.

If xk=0x_k=0 then ak+1,a_{k+1}, \ldots are undefined and x=a0+/ ⁣/a1,a2,,an/ ⁣/x = a_0 + /\!/ a_1, a_2, \ldots, a_n /\!/ with n=kn=k. If all xkx_k's are non-zero then x=a0+/ ⁣/a1,a2,/ ⁣/x = a_0 + /\!/ a_1, a_2, \ldots /\!/, but we will delay the argument of why this infinite continued fraction makes sense until the final section.

It should be clear from the previous section that the value of the a regular continued fraction is a rational number. So let us try to reverse the process when xx is a rational number. Given x=u/vx=u/v with integer uu and positive integer vv, how can a0,a1,a_0, a_1, \ldots be computed? Setting uk/vk=xku_k/v_k = x_k in the construction process from above, we get

a0=uv,u0v0=uva0=uu/vvv=u mod vv,ak+1=vkuk,uk+1vk+1=vkukak+1=vkvk/ukukuk=vk mod ukuk,\begin{aligned} a_0 = \left\lfloor \frac{u}{v} \right\rfloor, \qquad &\frac{u_0}{v_0} = \frac{u}{v} - a_0 = \frac{u - \lfloor u/v \rfloor v}{v} = \frac{u \text{ mod } v}{v}, \\ a_{k+1} = \left\lfloor \frac{v_k}{u_k} \right\rfloor, \qquad &\frac{u_{k+1}}{v_{k+1}} = \frac{v_k}{u_k} - a_{k+1} = \frac{v_k - \lfloor v_k/u_k \rfloor u_k}{u_k} = \frac{v_k \text{ mod } u_k}{u_k}, \end{aligned}

for k=0,1,k = 0, 1, \ldots. If this is turned into a C++ algorithm, we get the following. (The main loop has been unrolled to avoid the uvu \leftrightarrow v swapping and a little tweaking was also necessary when the algorithm starts because C++ integer division u/v is not always equal to u/v\lfloor u/v \rfloor when the result is negative.)

template <typename NUM, typename Out>
void fraction_to_continued_fraction(NUM u, NUM v, Out out)
{
  if (v < 0) { u = -u; v = -v; }
  NUM r = u % v;
  if (r < 0) { u -= v; r += v; }
  *out++ = u/v;
  u = r;
  while (true) {
    if (!u) return;
    *out++ = v/u;
    v %= u;
    if (!v) return;
    *out++ = u/v;
    u %= v;
  }
}

Notice the resemblence to computing the greatest common divisor using Euclid's algorithm. In fact, the values of u and v are equivalent to those during the gcd_euclid function of that article. Furthermore, Euclid's algorithm always terminates, so the construction process always terminates when the input number is rational. In fact, a continued fraction is finite if and only if it represents a rational number.

Infinite Continued Fractions

Let us consider the construction of a continued fraction for any real number xx. Recall that at any stage of the construction, we have

x=a0+/ ⁣/a1,a2,,ak+xk/ ⁣/.x = a_0 + /\!/ a_1, a_2, \ldots, a_k + x_k /\!/.

How close is xx to a0+/ ⁣/a1,a2,,ak/ ⁣/a_0 + /\!/ a_1, a_2, \ldots, a_k /\!/ for some kk? We get

x(a0+/ ⁣/a1,a2,,ak/ ⁣/)=/ ⁣/a1,,ak,1/xk/ ⁣// ⁣/a1,a2,,ak/ ⁣/=Kk(a2,,ak,1/xk)Kk+1(a1,,ak,1/xk)Kk1(a2,,ak)Kk(a1,a2,,ak)=(1)kKk(a1,a2,,ak)Kk+1(a1,,ak,1/xk),\begin{aligned} x - \left( a_0 + /\!/ a_1, a_2, \ldots, a_k /\!/ \right) &= /\!/ a_1, \ldots, a_k, 1/x_k /\!/ - /\!/ a_1, a_2, \ldots, a_k /\!/ \\ &= \frac{K_k(a_2, \ldots, a_k, 1/x_k)}{K_{k+1}(a_1, \ldots, a_k, 1/x_k)} - \frac{K_{k-1}(a_2, \ldots, a_k)}{K_k(a_1, a_2, \ldots, a_k)} \\ &= \frac{(-1)^k}{K_k(a_1, a_2, \ldots, a_k) K_{k+1}(a_1, \ldots, a_k, 1/x_k)}, \end{aligned}

using (1), (8), (11), and (12). This relation shows several important things (which also hold for finite continued fractions x=a0+/ ⁣/a1,a2,,an/ ⁣/x = a_0 + /\!/ a_1, a_2, \ldots, a_n /\!/ when k<nk < n):

  • a0+/ ⁣/a1,a2,,ak/ ⁣/a_0 + /\!/ a_1, a_2, \ldots, a_k /\!/ is less than xx for even kk and greater than xx for odd kk.
  • Using (8) and (9) we see that the function ya0+/ ⁣/a1,a2,,ak+y/ ⁣/y \mapsto a_0 + /\!/ a_1, a_2, \ldots, a_k+y /\!/ is continuous and strictly increasing (kk even) or strictly decreasing (kk odd) when yy goes from 0 to 1, and since 0<xk<10 < x_k < 1 we have that xx always lies between a0+/ ⁣/a1,a2,,ak/ ⁣/a_0 + /\!/ a_1, a_2, \ldots, a_k /\!/ and a0+/ ⁣/a1,a2,,ak+1/ ⁣/a_0 + /\!/ a_1, a_2, \ldots, a_k+1 /\!/.
  • The denominator of the error term grows, at least, exponentially (using (6), (7) and with ϕ=(1+5)/21.618\phi = (1+\sqrt{5})/2 \sim 1.618),
(13)

Kk(a1,a2,,ak)Kk+1(a1,,ak,1/xk)Kk(1,,1)Kk+1(1,,1)=Fk+1Fk+2(ϕ+1)k+1/5,\begin{aligned} &K_k(a_1, a_2, \ldots, a_k) K_{k+1}(a_1, \ldots, a_k, 1/x_k) \\ &\qquad \geq K_k(1, \ldots, 1) K_{k+1}(1, \ldots, 1) = F_{k+1} F_{k+2} \geq (\phi+1)^{k+1}/5, \end{aligned}

  • Since the error term goes to zero as nn \rightarrow \infty, infinite continued fractions make sense as the following limit,

a0+/ ⁣/a1,a2,/ ⁣/=a0+limk/ ⁣/a1,a2,,ak/ ⁣/.a_0 + /\!/ a_1, a_2, \ldots /\!/ = a_0 + \lim_{k\rightarrow\infty} /\!/ a_1, a_2, \ldots, a_k /\!/.

The bound for Fk+1Fk+2F_{k+1} F_{k+2} in (13) can be derived by using the formula for the kkth Fibonacci number, Fk=(ϕk(1ϕ)k)/5F_k = (\phi^k - (1-\phi)^k)/\sqrt{5},

Fk+1Fk+2=(ϕ2k+3+(1ϕ)2k+3(ϕ(1ϕ))k+1)/5=(ϕ2k+3+(1ϕ)(ϕ1)2k+2+(1)k)/5ϕ2k+2(ϕ1ϕ2k+1)/5(ϕ2)k+1/5=(ϕ+1)n+1/5,\begin{aligned} F_{k+1} F_{k+2} &= \left( \phi^{2k+3} + (1-\phi)^{2k+3} - (\phi(1-\phi))^{k+1} \right)/5 \\ &= \left( \phi^{2k+3} + (1-\phi)(\phi-1)^{2k+2} + (-1)^k \right)/5 \\ &\geq \phi^{2k+2} \left(\phi - \frac{1}{\phi^{2k+1}} \right)/5 \geq \left(\phi^2\right)^{k+1}/5 = (\phi+1)^{n+1}/5, \end{aligned}

where we use that ϕ2ϕ1=0\phi^2-\phi-1=0, ϕ(1ϕ)=1\phi(1-\phi)=-1, and 1<ϕ<21 < \phi < 2.

As an example of an infinite continued fraction it can be shown that

e=2+/ ⁣/1,2,1,1,4,1,1,6,1,1,8,1,1,10,1,1,12,1,1,14,/ ⁣/.e = 2 + /\!/ 1,2,1,1,4,1,1,6,1,1,8,1,1,10,1,1,12,1,1,14,\ldots /\!/.

Evaluating the truncated finite continued fractions 22, 2+/ ⁣/1/ ⁣/2 + /\!/ 1 /\!/, 2+/ ⁣/1,2/ ⁣/2 + /\!/ 1,2 /\!/, and so on, we get

2,3,83,114,197,8732,10639,19371,1264465,1457536,27211001,232258544,259469545,4917118089,,2,3,\frac{8}{3}, \frac{11}{4}, \frac{19}{7}, \frac{87}{32}, \frac{106}{39}, \frac{193}{71}, \frac{1264}{465}, \frac{1457}{536}, \frac{2721}{1001}, \frac{23225}{8544}, \frac{25946}{9545}, \frac{49171}{18089}, \ldots,

where each fraction is a better and better approximation to ee (the absolute error for 49171/1808949171/18089 is around 31010-3 \cdot 10^{-10}).

As mentioned earlier, the continued fraction of some xx is finite if and only if xx is rational. The continued fraction representation for xx is infinite and eventually periodic,

a0+/ ⁣/a1,,am,b1,,bn,b1,,bn,/ ⁣/,m0,n1,a_0 + /\!/ a_1, \ldots, a_m, b_1, \ldots, b_n, b_1, \ldots, b_n, \ldots /\!/, \quad m \geq 0, n \geq 1,

if and only if xx is a quadratic irrationality (proved in TAOCP, vol. 2, Exercise 4.5.3-12). A quadratic irrationality is a number of the form (du)/v(\sqrt{d}-u)/v where dd, uu, and vv are integers, d>0d > 0, v0v \neq 0, and dd is not a perfect square.

Some special cases of this theorem are:

  • n2+1=n+/ ⁣/2n,2n,/ ⁣/\sqrt{n^2+1} = n + /\!/ 2n,2n,\ldots /\!/,
  • n2+2=n+/ ⁣/n,2n,n,2n,/ ⁣/\sqrt{n^2+2} = n + /\!/ n,2n,n,2n,\ldots /\!/,

for positive integers nn. To prove the first of these identities let x=n+/ ⁣/2n,2n,/ ⁣/x = n + /\!/ 2n,2n,\ldots /\!/. Then xn=yx-n = y where y=1/(2n+y)y = 1/(2n + y), implying xn=1/(x+n)x-n = 1/(x+n) and finally x2n2=1x^2-n^2=1. The second identity can be proved similarly.

Concluding Remarks

This article on continued fractions was supposed to be fairly short and just contain the most basic properties, but the subject turned out to be vast and very interesting. More articles related to continued fractions will likely follow.