This (and the other G values) are defined as `uint32_t`. Why are we casting to `int` instead here?