New test for double 64-bit key in RFC-1751.