According to Zeckendorfs theorem from 1972, each integer can be uniquely
represented as a sum of Fibonacci numbers such that no two of these are
consecutive in the Fibonacci sequence.
The computation is simply the greedy algorithm of finding the highest
Fibonacci number below n
, subtracting it and iterating.