final, but buggy aleae gives a floating point error

Signed-off-by: Verse <micalcjr@gmail.com>