[de] Minifloat

[ja] ミニフロート

[zh] 迷你浮點數