"Intel 8087"@cs .