rntm/librationalnumbers archive