type(f64 <= i)
