4-bit floating point FP4