f32 * i32 - i64
