Presentations on floating point numbers