Title: Counting Floating Point Numbers