constraints of this type are known as non holonomic every positive rational number has a unique finite engel expansion mu ijambo yavugiye ahitwa wilson center institut i washington