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.