0.12345 in binary