Quaternary floating point