Pitch: Allow interchangeable use of `CGFloat` and `Double` types

[ben-cohen (BenC)]

@xwu

Can we model this feature in a way analogous to property wrappers?

Why would this be better?