CurryInfo: binint-3.0.0