12bitfloat
+10577