12bitfloat
+10917