Hi all,
here are two vanilla abstraction to convert to and from decimal and binary numbers. For now it works only for positive numbers, and the binary numbers are treated as lists of zeros and ones, mostly because that's what I need but also because I don't know how to group them together to form a float. If somebody knows how to do it I'd be interested in seeing that (although I'm not sure having a binary number as a float would make sense).