12bitfloat
+10587