Floating point numbers are not implemented whatsoever. I would like to have a general excess notation function as well as floating point addition.