How do I convert a decimal number >511 to binary?