[project @ New floating point assertions.]