12bitfloat
+10271