Data.MiniFloat

data Mini

float2mini

mini2float