(f32 - i64) * i64
