"binary16"@cs .