12bitfloat
+10513