type(float(f64))
