New post on float-point number comparison.