12bitfloat
+10657