fn float_type_width(ty: Ty<'_>) -> Option<u64>