浮点给束的英文翻译

中文:浮点给束

英文翻译:【计】 floating-point constraint