float(i32) * i64
