i64 % i32 * f32
