floating point number example