fix floating point example