12bitfloat
+10590