- /* pixels is at most in the -8..7 range. So 64-bit arithmetic is
- * not really necessary here. A simple cast to int may just work
- * as well. But since this code is not reached that often and
- * for the sake of correctness, we do a 64bit operation. */