Added some comments and switched to the Vectorial Space over the real
numbers and now I am consumed by float comparison. :-)