From Matt's comment on 756.
Can we create an issue to track this? It would be great for users (and our own benchmarks) if we could use 2-byte floats for "common" numbers like 1.0.
We'll probably need to settle on an f16 implementation (such as half).