Write `to_binary(n)` returning the binary string of a non-negative integer (no leading zeros). 0 ⇒ '0'.