[outop]

One problem with this is that it decomposes 2 * 55 to 89 + 21, etc which makes the conversion slightly harder than just converting 55 and doubling.

[outop]

Also the decomposition of 88 is 55 + 21 + 8 + 3 + 1. A lot of terms just to find that phi * (Fn - 1) is (F{n+1} - 1) which isn't even very accurate.