export to_binary_one/1