12bitfloat
+9437