Working on floating point type