type(0.5)[i32:i64]
