mark `f32` and `f64` as requiring libc for now