short floating point number format