main := toBinaryString([5, 50, 9000]);

toBinaryString(number(0)) :=
    let
        val := "1" when number mod 2 = 1 else "0";
    in
        toBinaryString(floor(number/2)) ++ val when floor(number/2) > 0
    else
        val;