0.251 in binary