use rustc_apfloat::Float;
use rustc_middle::ty::Ty;
use rustc_span::Symbol;
use rustc_target::callconv::FnAbi;
use self::math::ToHost;
use self::math::ToSoft;
use crate::*;