Add some notes on floating point numbers