"binary32"@cs .