Tests of binary formatter