Google style guide actually suggests signed should be preferred.  "You should not use the unsigned integer types such as uint32_t, unless there is a valid reason such as representing a bit pattern rather than a number, or you need defined overflow modulo 2^N. In particular, do not use unsigned types to say a number will never be negative. Instead, use assertions for this."

Re #c1: Thanks for the comments, that's really helpful!

tsepez@ Do you have comments regarding the style guide, or are we using a different one for mojo?
https://google.github.io/styleguide/cppguide.html#Integer_Types

WontFix according to #c1. tsepez@ Please reopen if you have other concerns.
Thanks!