"Double Integer"@cs .