added notes on floating point