added binet approximation and tests