epsilon closeness for floats in `#guard_msgs in` unit tests

Stream: general

[Quinn]

does anyone have this or thoughts about it?

if someone were to want to autoformalize a standard numerical analysis unit test

[Quinn]

#lspec should be fine for me, in practice