add recipe for FP class for floating point comparison
countdown: handle division properly
actually search the whole expression space