Convert a positive decimal number to a binary number