Bijection between binary and unary naturals