 Every non-negative rational number can be represented as a recurring base-φ expansion, as can any non-negative element of the field Q[] = Q + Q, the field generated by the rational numbers and .Conversely any recurring (or terminating) base-φ expansion is a non-negative element of Q[].For recurring decimals, the recurring part has been overlined