fixes #194 Move x1764 to util/ and make the public API consistent with
the rest of the code.