more on floating point arightmetic