integer_to_binary