Add unsigned fixed-point numbers

CC @StefanKarpinski, since this was your suggestion!

Seems reasonable. This will introduce a one-argument variant of `reinterpret`, but I agree that makes sense.