Added support for Polycode being able to use single-precision

Users can compile Number to be float, rather than double, by setting -DNUMBER_IS_SINGLE=true when running CMake. NB they should -DPOLYCODE_NUMBER_IS_SINGLE when compiling their own code too. Not sure if there's a tidier change for that.