i64 * float(i64)
