Proxy type for easily wrapping numeric types (possibly using macros)

[non]

When implementing a wrapper type, there is often a ton of boilerplate. It would be great to build one (or more) proxy types that make this easier to do. It would be doubly-great if we could use macros + inlining to make this just as efficient as a literal definition.