int(f64) * i32
