12bitfloat
+10617