i32 * i64 % 1
