Well, one bug fixed. Problem was two-fold:

1. I was using FLT_MAX when I should have been using DBL_MAX since I'm
using a `double` type for the score.

2. Assuming this algebraic law was true was a mistake:

    DBL_MAX >= DBL_MAX + {any double}

On my system, `DBL_MAX >= DBL_MAX + DBL_MAX` returns true.