fix up that exhaustive float test