{ # a natural number represented as a Zeckendorf sum package Zeckendorf;