"binary64"@cs .