Use `float32_t` or `float64_t`, please.